Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4144)
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 2006.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (49 papers)
-
Front Matter
-
Session 2. Tools Papers
-
Session 4. SAT and Bounded Model Checking
-
Session 7. Symbolic Trajectory Evaluation
Editors and Affiliations
-
Microsoft Research, Redmond, USA
Thomas Ball
-
Intel Corporation, Hillsboro, USA
Robert B. Jones
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Editors: Thomas Ball, Robert B. Jones
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/11817963
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2006
Softcover ISBN: 978-3-540-37406-0Published: 08 August 2006
eBook ISBN: 978-3-540-37411-4Published: 06 August 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 564
Topics: Theory of Computation, Logics and Meanings of Programs, Software Engineering, Mathematical Logic and Formal Languages, Artificial Intelligence, Logic Design