| 2006 | Efficient Model Checking for LTL with Partial Order Snapshots. | Peter Niebert, Doron A. Peled |
| 2006 | MCMAS: A Model Checker for Multi-agent Systems. | Alessio Lomuscio, Franco Raimondi |
| 2006 | Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. | Bing Li, Fabio Somenzi |
| 2006 | A Region Graph Based Approach to Termination Proofs. | Stefan Leue, Wei Wei |
| 2006 | Approximating Predicate Images for Bit-Vector Logic. | Daniel Kroening, Natasha Sharygina |
| 2006 | Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. | Barbara Knig, Vitali Kozioura |
| 2006 | Widening ROBDDs with Prime Implicants. | Neil Kettle, Andy King, Tadeusz Strzemecki |
| 2006 | Weighted Pushdown Systems and Trust-Management Systems. | Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps |
| 2006 | A Practical and Complete Approach to Predicate Refinement. | Ranjit Jhala, Kenneth L. McMillan |
| 2006 | PRISM: A Tool for Automatic Verification of Probabilistic Systems. | Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2006 | Automata-Based Verification of Programs with Tree Updates. | Peter Habermehl, Radu Iosif, Toms Vojnar |
| 2006 | Why Waste a Perfectly Good Abstraction?. | Arie Gurfinkel, Marsha Chechik |
| 2006 | An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults. | Atul Gupta, Pankaj Jalote |
| 2006 | Counterexample Driven Refinement for Abstract Interpretation. | Bhargav S. Gulavani, Sriram K. Rajamani |
| 2006 | Exploiting Traces in Program Analysis. | Alex Groce, Rajeev Joshi |
| 2006 | Compositional Model Extraction for Higher-Order Concurrent Programs. | Dan R. Ghica, Andrzej S. Murawski |
| 2006 | DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. | Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier |
| 2006 | Untitled record | Malay K. Ganai, Muralidhar Talupur, Aarti Gupta |
| 2006 | Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. | Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu |
| 2006 | Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
| 2006 | Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine |
| 2006 | A Local Shape Analysis Based on Separation Logic. | Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2006 | Automatic Verification of Parameterized Data Structures. | Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta |
| 2006 | Exploration of the Capabilities of Constraint Programming for Software Verification. | Hlne Collavizza, Michel Rueher |
| 2006 | Finitary Winning in omega-Regular Games. | Krishnendu Chatterjee, Thomas A. Henzinger |