dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Tutorials and Invited Papers

Processor Verification

Protocol Verification and Testing

Infinite State Space

Theory of Verification

Linear Temporal Logic

Modeling of Systems

Symbolic Model-Checking

Theorem Proving

Automata-Theoretic Methods

Abstraction

Tool Presentations

Copyright © Mon Nov 2 20:23:15 2009 by Michael Ley (ley@uni-trier.de)