Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10427)
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 (32 papers)
-
Front Matter
-
Analysis of Software and Hardware
-
Front Matter
-
-
Foundations of Verification
-
Front Matter
-
-
Distributed and Networked Systems
-
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.
Keywords
- Semantics
- Software engineering
- Problem solving
- Theorem proving
- Computer software selection and evaluation
- Formal logic
- Parallel processing systems
- Programming languages
- Satisfiability
- Verification
- Specifications
- Program processors
- Program compilers
- Graph theory
- Constraint solving
- Computer aided design
- Data security
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 II
Editors: Rupak Majumdar, Viktor Kunčak
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-63390-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-63389-3Published: 13 July 2017
eBook ISBN: 978-3-319-63390-9Published: 11 July 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 623
Number of Illustrations: 146 b/w illustrations
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software Engineering, Programming Techniques, Computing Milieux, Mathematical Logic and Formal Languages