TY  - BOOK
AU  - Kuncak,Viktor
AU  - Rybalchenko,Andrey
ED  - VMCAI 2012
TI  - Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642279409
AV  - QA76.76.V47 V53 2012eb
U1  - 005.1015113 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer software
KW  - Logic design
KW  - Electronic Data Processing
KW  - Software
KW  - Informatique
KW  - Génie logiciel
KW  - Logiciels
KW  - Structure logique
KW  - software
KW  - aat
KW  - eclas
KW  - fast
KW  - lcgft
N1  - 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
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-642-27940-9
ER  -