Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9207)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CAV 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.
The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.
Similar content being viewed by others
Keywords
- artificial intelligence
- automata
- automata theory
- concurrency
- formal languages
- formal methods
- hardware/software verification and validation
- logic
- model checking
- program analysis
- semantics and reasoning
- software engineering
- solvers
- synthesis
- temporal logic
- theorem proving
- verification
- verification by model checking
Table of contents (26 papers)
-
Front Matter
-
SMT Techniques and Applications
-
Front Matter
-
-
Synthesis
-
Front Matter
-
-
Termination
-
Front Matter
-
Other volumes
-
Computer Aided Verification
-
Computer Aided Verification
Editors and Affiliations
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Editors: Daniel Kroening, Corina S. Păsăreanu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-21668-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-21667-6Published: 23 July 2015
eBook ISBN: 978-3-319-21668-3Published: 13 July 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 469
Number of Illustrations: 107 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Computer Systems Organization and Communication Networks