default search action
13. VMCAI 2012: Philadelphia, PA, USA
- Viktor Kuncak, Andrey Rybalchenko:
Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Lecture Notes in Computer Science 7148, Springer 2012, ISBN 978-3-642-27939-3 - Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu:
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. 1-22 - Ranjit Jhala:
Software Verification with Liquid Types. 23 - Tobias Nipkow
:
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs. 24-38 - Aws Albarghouthi, Arie Gurfinkel
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. 39-55 - Samik Basu, Tevfik Bultan, Meriem Ouederni:
Synchronizability for Verification of Asynchronously Communicating Systems. 56-71 - Amir M. Ben-Amram, Samir Genaim
On the Termination of Integer Loops. 72-87 - Laura Bozzelli, Sophie Pinchinat:
Verification of Gap-Order Constraint Abstractions of Counter Systems. 88-103 - Dmitry Bugaychenko:
On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking. 104-118 - Sagar Chaki, Arie Gurfinkel
Regression Verification for Multi-threaded Programs. 119-135 - Nathaniel Charlton, Ben Horsfall, Bernhard Reus
Crowfoot: A Verifier for Higher-Order Store Programs. 136-151 - Krishnendu Chatterjee, Vishwanath Raman:
Synthesizing Protocols for Digital Contract Signing. 152-168 - Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl:
Model Checking Information Flow in Reactive Systems. 169-185 - Evren Ermis, Jochen Hoenicke
Splitting via Interpolants. 186-201 - Pietro Ferrara
Automatic Inference of Access Permissions. 202-218 - Bernd Finkbeiner, Swen Jacobs
Lazy Synthesis. 219-234 - Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta:
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. 235-250 - Falk Howar
Inferring Canonical Register Automata. 251-266 - Johannes Kinder, Dmitry Kravchenko
Alternating Control Flow Reconstruction. 267-282 - Uri Klein, Nir Piterman
Effective Synthesis of Asynchronous Systems from GR(1) Specifications. 283-298 - Woosuk Lee, Wonchan Lee, Kwangkeun Yi:
Sound Non-statistical Clustering of Static Analysis Alarms. 299-314 - K. Rustan M. Leino:
Automating Induction with an SMT Solver. 315-331 - Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy:
Modeling Asynchronous Message Passing for C Programs. 332-347 - Kedar S. Namjoshi, Richard J. Trefler:
Local Symmetry and Compositional Verification. 348-362 - Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy:
versat: A Verified Modern SAT Solver. 363-378 - Stan Rosenberg, Anindya Banerjee, David A. Naumann
Decision Procedures for Region Logic. 379-395 - Joshua Sack
A General Framework for Probabilistic Characterizing Formulae. 396-411 - Stephen F. Siegel, Timothy K. Zirkel:
Loop Invariant Symbolic Execution for Parallel Programs. 412-427 - Christian von Essen, Barbara Jobstmann:
Synthesizing Efficient Controllers. 428-444 - Damien Zufferey, Thomas Wies, Thomas A. Henzinger:
Ideal Abstractions for Well-Structured Transition Systems. 445-460
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: