Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9780)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CAV 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (29 papers)
-
Verification in Practice
-
Concurrency
-
Constraint Solving II
-
Automata and Games
Other volumes
-
Computer Aided Verification
-
Computer Aided Verification
Keywords
- distributed systems
- formal methods
- model checking
- verification
- Web security
- abstract interpretation
- automata
- case study
- concurrency
- fault tolerance
- nonlinear systems
- program analysis
- programming language semantics
- safety-critical systems
- semantics and reasoning
- software engineering
- solvers
- synthesis
- temporal logic
- theorem proving
About this book
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.
The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.
Editors and Affiliations
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Editors: Swarat Chaudhuri, Azadeh Farzan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-41540-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-41539-0Published: 14 July 2016
eBook ISBN: 978-3-319-41540-6Published: 12 July 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 521
Number of Illustrations: 126 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