1. Preface to a special section on verification, model checking, and abstract interpretation

   • Neil D. Jones
   • Markus Müller-Olm

   Introduction 25 August 2011 Pages: 491 - 493

2. Finding concurrency-related bugs using random isolation

   • Nicholas Kidd
   • Thomas Reps
   • Mandana Vaziri

   VMCAI 2009 23 April 2011 Pages: 495 - 518

3. Synthesizing switching logic using constraint solving

   • Ankur Taly
   • Sumit Gulwani
   • Ashish Tiwari

   VMCAI 2009 26 September 2010 Pages: 519 - 535

4. An abort-aware model of transactional programming

   • Kousha Etessami
   • Patrice Godefroid

   VMCAI 2009 25 May 2011 Pages: 537 - 551

5. Average-price-per-reward games on hybrid automata with strong resets

   • Michał Rutkowski
   • Ranko Lazić
   • Marcin Jurdziński

   VMCAI 2009 11 November 2010 Pages: 553 - 569

6. LTL generalized model checking revisited

   • Patrice Godefroid
   • Nir Piterman

   VMCAI 2009 16 September 2010 Pages: 571 - 584

7. SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities

   • Vincent Laviron
   • Francesco Logozzo

   VMCAI 2009 24 May 2011 Pages: 585 - 601