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

19. CAV 2007: Berlin, Germany

Werner Damm, Holger Hermanns (Eds.): Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4590 Springer 2007, ISBN 978-3-540-73367-6 BibTeX

Invited Talks

Invited Tutorials

Session I: Compositionality

Session II: Verification Process

Session III: Timed Synthesis and Games

Session IV: Infinitive State Verification

Session V: Tool Environment

Session VI: Shapes

Session VII: Concurrent Program Verification

Session VIII: Reactive Designs

Session IX: Parallelisation

Session X: Constraints and Decisions

Session XI: Probabilistic Verification

Session XII: Abstraction

Session XIII: Assume-Guarantee Reasoning

Session XIV: Hybrid Systems

Session XV: Program Analysis

Session XVI: SAT and Decision Procedures

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