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

18. CAV 2006: Seattle, WA, USA

Thomas Ball, Robert B. Jones (Eds.): Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4144 Springer 2006, ISBN 3-540-37406-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Automata

Tool Papers

Arithmetic

SAT and Bounded Model Checking

Abstraction/Refinement

Tool Papers

Symbolic Trajectory Evaluation

Property Specification and Verification

Time

Tool Papers

Concurrency

Trees, Pushdown Systems and Boolean Programs

Termination

Tool Papers

Abstract Interpretation

Tool Papers

Memory Consistency

Shape Analysis

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