Editors:
Part of the book series: Theoretical Computer Science and General Issues (LNTCS, volume 10981)
Conference series link(s): CAV: International Conference on Computer Aided Verification
Conference proceedings info: CAV 2018.
Buying options
Table of contents (39 papers)
-
Front Matter
-
Model Checking
-
Front Matter
-
-
Program Analysis Using Polyhedra
-
Front Matter
-
-
Synthesis
-
Front Matter
-
About this book
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.
The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Keywords
- artificial intelligence
- data security
- decision theory
- evolutionary algorithms
- formal logic
- formal methods
- formal verifications
- genetic algorithms
- learning algorithms
- model checker
- model checking
- program compilers
- programming languages
- satisfiability
- semantics
- software engineering
- software evaluation
- specifications
- static analysis
- verification
Editors and Affiliations
-
King’s College, London, United Kingdom
Hana Chockler
-
TU Wien, Vienna, Austria
Georg Weissenbacher
Bibliographic Information
Book Title: Computer Aided Verification
Book Subtitle: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Editors: Hana Chockler, Georg Weissenbacher
Series Title: Theoretical Computer Science and General Issues
DOI: https://doi.org/10.1007/978-3-319-96145-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2018
License: CC BY
Softcover ISBN: 978-3-319-96144-6Published: 22 July 2018
eBook ISBN: 978-3-319-96145-3Published: 21 July 2018
Series ISSN: 2512-2010
Series E-ISSN: 2512-2029
Edition Number: 1
Number of Pages: XIX, 703
Number of Illustrations: 146 b/w illustrations
Topics: Computer Science Logic and Foundations of Programming, Software Engineering, Artificial Intelligence, Formal Languages and Automata Theory, Algorithms, Computer Modelling