Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Editors: Kuncak, Viktor, Rybalchenko, Andrey (Eds.)
Free Preview- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
Buy this book
- About this book
-
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
- Table of contents (29 chapters)
-
-
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data
Pages 1-22
-
Software Verification with Liquid Types
Pages 23-23
-
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
Pages 24-38
-
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
Pages 39-55
-
Synchronizability for Verification of Asynchronously Communicating Systems
Pages 56-71
-
Table of contents (29 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Verification, Model Checking, and Abstract Interpretation
- Book Subtitle
- 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
- Editors
-
- Viktor Kuncak
- Andrey Rybalchenko
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 7148
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag GmbH Berlin Heidelberg
- eBook ISBN
- 978-3-642-27940-9
- DOI
- 10.1007/978-3-642-27940-9
- Softcover ISBN
- 978-3-642-27939-3
- Edition Number
- 1
- Number of Pages
- X, 457
- Number of Illustrations
- 111 b/w illustrations
- Topics
