Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Editors: Jobstmann, Barbara, Leino, K. Rustan M. (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.
- Table of contents (26 chapters)
-
-
Automating Abstract Interpretation
Pages 3-40
-
Viper: A Verification Infrastructure for Permission-Based Reasoning
Pages 41-62
-
Predicate Abstraction for Linked Data Structures
Pages 65-84
-
An Abstract Domain of Uninterpreted Functions
Pages 85-103
-
Property Directed Abstract Interpretation
Pages 104-123
-
Table of contents (26 chapters)
- Download Preface 1 PDF (44.3 KB)
- Download Sample pages 2 PDF (1.7 MB)
- Download Table of contents PDF (68.6 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Verification, Model Checking, and Abstract Interpretation
- Book Subtitle
- 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
- Editors
-
- Barbara Jobstmann
- K. Rustan M. Leino
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 9583
- Copyright
- 2016
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-662-49122-5
- DOI
- 10.1007/978-3-662-49122-5
- Softcover ISBN
- 978-3-662-49121-8
- Edition Number
- 1
- Number of Pages
- XIII, 558
- Number of Illustrations
- 123 illustrations in colour
- Topics
