13. VMCAI 2012: Philadelphia, PA, USA

• 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, Marsha Chechik:
  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, Abu Naser Masud:
  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, Ofer Strichman:
  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, Andreas Podelski:
  Splitting via Interpolants. 186-201
  
• Pietro Ferrara, Peter Müller:
  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, Bernhard Steffen, Bengt Jonsson, Sofia Cassel:
  Inferring Canonical Register Automata. 251-266
  
• Johannes Kinder, Dmitry Kravchenko:
  Alternating Control Flow Reconstruction. 267-282
  
• Uri Klein, Nir Piterman, Amir Pnueli:
  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, Lijun Zhang:
  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
  

Last update Fri May 17 16:23:55 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page