Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5123)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): CAV: International Conference on Computer Aided Verification
Conference proceedings info: CAV 2008.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (53 papers)
-
Front Matter
-
Session 1: Concurrency
-
Session 3: Abstraction/Refinement
-
Session 5: Tools – Dynamic Verification
About this book
Keywords
- Action
- algorithms
- assertion
- automated deduction
- computer
- computer aided verification
- debugging
- formal methods
- formal verification
- hybrid systems
- modeling
- probabilistic automata
- program ana
- structured analysis
- verification
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
Editors: Aarti Gupta, Sharad Malik
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-70545-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-70543-7Due: 17 June 2008
eBook ISBN: 978-3-540-70545-1Published: 05 July 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 558
Topics: Programming Techniques, Computer System Implementation, Computer Science Logic and Foundations of Programming, Software Engineering, Formal Languages and Automata Theory, Artificial Intelligence