Preface to a special section on verification, model checking, and abstract interpretation Neil D. JonesMarkus Müller-Olm Introduction 25 August 2011 Pages: 491 - 493
Finding concurrency-related bugs using random isolation Nicholas KiddThomas RepsMandana Vaziri VMCAI 2009 23 April 2011 Pages: 495 - 518
Synthesizing switching logic using constraint solving Ankur TalySumit GulwaniAshish Tiwari VMCAI 2009 26 September 2010 Pages: 519 - 535
An abort-aware model of transactional programming Kousha EtessamiPatrice Godefroid VMCAI 2009 25 May 2011 Pages: 537 - 551
Average-price-per-reward games on hybrid automata with strong resets Michał RutkowskiRanko LazićMarcin Jurdziński VMCAI 2009 11 November 2010 Pages: 553 - 569
LTL generalized model checking revisited Patrice GodefroidNir Piterman VMCAI 2009 16 September 2010 Pages: 571 - 584
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities Vincent LavironFrancesco Logozzo VMCAI 2009 24 May 2011 Pages: 585 - 601