Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10426)
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 2017.
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
-
Probabilistic Systems
-
Front Matter
-
-
Runtime Verification
-
Front Matter
-
About this book
The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.
The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Editors and Affiliations
-
Max Planck Institute for Software Systems, Kaiserslautern, Germany
Rupak Majumdar
-
School of Computer and Communication Sciences, EPFL - IC - LARA, Lausanne, Switzerland
Viktor Kunčak
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Editors: Rupak Majumdar, Viktor Kunčak
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-63387-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-63386-2Published: 13 July 2017
eBook ISBN: 978-3-319-63387-9Published: 11 July 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIX, 601
Number of Illustrations: 142 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Simulation and Modeling, The Computing Profession, System Performance and Evaluation, Artificial Intelligence