Bibliography

AJNd03

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Julien d'Orso.
Algorithmic improvements in regular model checking.
In Proc. of 15th Int. Conf. on Computer Aided Verification (CAV'03), volume 2725 of Lecture Notes in Computer Science, 2003.
postscript

APZ03

T. Arons, A. Pnueli, and L. Zuck.
Parameterized verification by probabilistic abstraction.
In Proc. Intern. Conf. on Foundations of Software Science and Computation Structures (FOSSACS'03), volume 2620 of Lecture Notes in Computer Science, 2003.
postscript

BET03

Ahmed Bouajjani, Javier Esparza, and Tayssir Touili.
A generic approach to the static analysis of concurrent programs with procedures.
In 30th Symp. on Principles of Programming Languages (POPL'03), pages 72-73. ACM Pub., 2003.
Full version in the Intern. Journal of Foundations of Computer Science, volume 14, No 4, August 2003.
postscript

BHM03

Ahmed Bouajjani, Peter Habermehl, and Richard Mayr.
Automatic verification of recursive procedures with one integer parameter.
Theoretical Computer Science, 295:85-106, 2003.
postscript

BHV03

Ahmed Bouajjani, Peter Habermehl, and Tomas Vojnar.
Verification of parametric concurrent systems with prioritized fifo resource management.
In Proc. Int. Conf. on Concurrency Theory (CONCUR'03), volume 2761 of Lecture Notes in Computer Science, pages 174-190, 2003.
postscript

BLW03

Bernard Boigelot, Axel Legay, and Pierre Wolper.
Iterating transducers in the large.
In Proc. Int. Conf. on Computer Aided Verification (CAV'03), volume 2725 of Lecture Notes in Computer Science, pages 223-235, 2003.
PDF

BLW04

Bernard Boigelot, Axel Legay, and Pierre Wolper.
Omega-regular model checking.
In Proc. TACAS '04, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, 2004.
postscript

BT03

Ahmed Bouajjani and Tayssir Touili.
Reachability Analysis of Process Rewrite Systems.
In Proc. Intern. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'03), Lecture Notes in Computer Science, Mumbai, India, 2003.
postscript

EM03

J. Esparza and M. Maidl.
Simple representative instantiations for multicast protocols.
In Proc. TACAS '03, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, volume 2619 of Lecture Notes in Computer Science, pages 128-142, 2003.
postscript

FPPZ04

Y. Fang, N. Piterman, A. Pnueli, and L. Zuck.
Liveness with invisible ranking.
In G. Levi and B. Steffen, editors, Proc. of the 5 workshop on Verification, Model Checking, and Abstract Interpretation, Lecture Notes in Computer Science, 2004.
To appear.
postscript

Ios03

Radu Iosif.
Symmetry reductions for model checking of concurrent dynamic software.
Software Tools for Technology Transfer, STTT, 2003.
postscript

PA03

A. Pnueli and T. Arons.
TLPVS: A PVS-based LTL verification system.
In Nachum Dershowitz, editor, Verification-Theory and Practice: Proceedings of an International Symposium in Honor of Zohar Manna's 64th Birthday, volume 2772 of Lecture Notes in Computer Science, pages 601-628, 2003.
postscript

ZPK03

L. Zuck, A. Pnueli, and Y. Kesten.
Automatic verification of free choice.
In 3th Intern. Workshop on Verification, Model Checking, and Abstract Interpretation, Lecture Notes in Computer Science, 2003.

---