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

13. CAV 2001: Paris, France

Gérard Berry, Hubert Comon, Alain Finkel (Eds.): Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Lecture Notes in Computer Science 2102 Springer 2001, ISBN 3-540-42345-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talk

Model Checking and Theorem Proving

Automata Techniques

Verification Core Technology

BDD and Decision Procedures

Abstraction and Refinement


Tool Presentations: Rewriting and Theorem-Proving Techniques

Invited Talk

Infinite State Systems

Temporal Logics and Verification

Tool Presentations: Model-Checking and Automata Techniques

Microprocessor Verification, Cache Coherence

SAT, BDDs, and Applications

Timed Automata

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