Editors:
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)
Conference series link(s): CAV: International Conference on Computer Aided Verification
Conference proceedings info: CAV 2016.
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 (29 papers)
-
Front Matter
-
Verification in Practice
-
Front Matter
-
-
Concurrency
-
Front Matter
-
-
Constraint Solving II
-
Front Matter
-
-
Automata and Games
-
Front Matter
-
Processors with ISA-FormalAbout 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.
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
Editors and Affiliations
-
Rice University , Houston, USA
Swarat Chaudhuri
-
University of Toronto , Toronto, Canada
Azadeh Farzan
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