Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10145)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: VMCAI 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (29 papers)
Other volumes
-
Verification, Model Checking, and Abstract Interpretation
Keywords
- deductive verification
- hybrid systems
- model checking
- security
- verification
- abstract interpretation
- automata
- automated reasoning
- concurrency
- cryptography
- decision procedure
- fault tolerance
- hoare logics
- modal and temporal logics
- probabilistic systems
- safety critical systems
- separation logic
- simulation
- timed and hybrid systems
About this book
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.
The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.Editors and Affiliations
Bibliographic Information
Book Title: Verification, Model Checking, and Abstract Interpretation
Book Subtitle: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Editors: Ahmed Bouajjani, David Monniaux
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-52234-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-52233-3Published: 12 January 2017
eBook ISBN: 978-3-319-52234-0Published: 09 January 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 560
Number of Illustrations: 150 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Computer Communication Networks, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Programming Languages, Compilers, Interpreters