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

17. CAV 2005: Edinburgh, Scotland, UK

Kousha Etessami, Sriram K. Rajamani (Eds.): Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Lecture Notes in Computer Science 3576 Springer 2005, ISBN 3-540-27231-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Tools Competition

Abstraction and Refinement

Bounded Model Checking

Tool Papers I

Verification of Hardware, Microcode, and Synchronous Systems

Games and Probabilistic Verification

Tool Papers II

Decision Procedures and Applications

Automata and Transition Systems

Tool Papers III

Program Analysis and Verification I

Program Analysis and Verification II

Applications of Learning

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