| Description |
1 online resource |
| Series |
Lecture Notes in Computer Science, 0302-9743 ; 7148 |
|
Lecture notes in computer science ; 7148.
|
| Contents |
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data / Ahmed Bouajjani, Cezara Drăgoi -- Software Verification with Liquid Types / Ranjit Jhala -- Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs / Tobias Nipkow -- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification / Aws Albarghouthi, Arie Gurfinkel -- Synchronizability for Verification of Asynchronously Communicating Systems / Samik Basu, Tevfik Bultan, Meriem Ouederni -- On the Termination of Integer Loops / Amir M. Ben-Amram, Samir Genaim -- Verification of Gap-Order Constraint Abstractions of Counter Systems / Laura Bozzelli, Sophie Pinchinat -- On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking / Dmitry Bugaychenko -- Regression Verification for Multi-threaded Programs / Sagar Chaki, Arie Gurfinkel, Ofer Strichman -- Crowfoot: A Verifier for Higher-Order Store Programs / Nathaniel Charlton, Ben Horsfall -- Synthesizing Protocols for Digital Contract Signing / Krishnendu Chatterjee, Vishwanath Raman -- Model Checking Information Flow in Reactive Systems / Rayna Dimitrova, Bernd Finkbeiner -- Splitting via Interpolants / Evren Ermis, Jochen Hoenicke -- Automatic Inference of Access Permissions / Pietro Ferrara, Peter Müller -- Lazy Synthesis / Bernd Finkbeiner, Swen Jacobs -- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation / Khalil Ghorbal, Franjo Ivančić -- Inferring Canonical Register Automata / Falk Howar, Bernhard Steffen, Bengt Jonsson -- Alternating Control Flow Reconstruction / Johannes Kinder, Dmitry Kravchenko -- Effective Synthesis of Asynchronous Systems from GR(1) Specifications / Uri Klein, Nir Piterman, Amir Pnueli -- Sound Non-statistical Clustering of Static Analysis Alarms / Woosuk Lee, Wonchan Lee, Kwangkeun Yi |
| Summary |
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 |
| In |
Springer e-books |
| Subject |
Computer science.
|
|
Software engineering.
|
|
Computer software.
|
|
Logic design.
|
|
Electronic Data Processing
|
|
Software
|
|
software.
|
|
Informatique.
|
|
Computer science.
|
|
Computer software.
|
|
Logic design.
|
|
Software engineering.
|
| Genre/Form |
Computer software.
|
| Form |
Electronic book
|
| Author |
Kuncak, Viktor.
|
|
Rybalchenko, Andrey.
|
| ISBN |
9783642279409 |
|
3642279406 |
|
