Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10981)
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 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
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: Lecture Notes in Computer Science
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: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIX, 703
Number of Illustrations: 146 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Artificial Intelligence, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Simulation and Modeling