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

Combinations

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)