11. CAV 1999:
Trento,
Italy
Nicolas Halbwachs, Doron Peled (Eds.):
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings.
Lecture Notes in Computer Science 1633 Springer 1999, ISBN 3-540-66202-2 BibTeX
@proceedings{DBLP:conf/cav/1999,
editor = {Nicolas Halbwachs and
Doron Peled},
title = {Computer Aided Verification, 11th International Conference, CAV
'99, Trento, Italy, July 6-10, 1999, Proceedings},
booktitle = {CAV},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1633},
year = {1999},
isbn = {3-540-66202-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Tutorials and Invited Papers
Processor Verification
Protocol Verification and Testing
Infinite State Space
- Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson:
Handling Global Conditions in Parameterized System Verification.
134-145
Electronic Edition (Springer LINK) BibTeX
- Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech:
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.
146-159
Electronic Edition (Springer LINK) BibTeX
- Satyaki Das, David L. Dill, Seungjoon Park:
Experience with Predicate Abstraction.
160-171
Electronic Edition (Springer LINK) BibTeX
Theory of Verification
Linear Temporal Logic
Modeling of Systems
Symbolic Model-Checking
Theorem Proving
Automata-Theoretic Methods
Abstraction
Tool Presentations
Copyright © Sat May 16 23:00:37 2009
by Michael Ley (ley@uni-trier.de)
