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

20. CAV 2008: Princeton, NJ, USA

Aarti Gupta, Sharad Malik (Eds.): Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Lecture Notes in Computer Science 5123 Springer 2008, ISBN 978-3-540-70543-7 BibTeX

Invited Talks

Invited Tutorials


Memory Consistency


Hybrid Systems

Tools - Dynamic Verification

Modeling and Specification Formalisms

Decision Procedures

Tools - Decision Procedures

Program Verification

Program and Shape Analysis

Tools - Security and Program Analysis

Hardware Verification I

Hardware Verification II

Model Checking

Space Efficient Algorithms

Tools - Model Checking

Copyright © Sat May 16 23:00:38 2009 by Michael Ley (ley@uni-trier.de)