Editors:
- 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)
Conference series link(s): VMCAI: International Conference on Verification, Model Checking, and Abstract Interpretation
Conference proceedings info: VMCAI 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
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.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
Editors and Affiliations
-
IRIF, Université Paris Diderot, Paris, France
Ahmed Bouajjani
-
VERIMAG, CNRS & Université Grenoble Alpes, Grenoble, France
David Monniaux
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