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