| 2006 | A Local Shape Analysis Based on Separation Logic. Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2006 | A Practical and Complete Approach to Predicate Refinement. Ranjit Jhala, Kenneth L. McMillan |
| 2006 | A Region Graph Based Approach to Termination Proofs. Stefan Leue, Wei Wei |
| 2006 | Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. Javier Esparza, Stefan Kiefer, Stefan Schwoon |
| 2006 | An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults. Atul Gupta, Pankaj Jalote |
| 2006 | Approximating Predicate Images for Bit-Vector Logic. Daniel Kroening, Natasha Sharygina |
| 2006 | Automata-Based Verification of Programs with Tree Updates. Peter Habermehl, Radu Iosif, Tomás Vojnar |
| 2006 | Automatic Verification of Parameterized Data Structures. Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta |
| 2006 | Compositional Model Extraction for Higher-Order Concurrent Programs. Dan R. Ghica, Andrzej S. Murawski |
| 2006 | Counterexample Driven Refinement for Abstract Interpretation. Bhargav S. Gulavani, Sriram K. Rajamani |
| 2006 | Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. Barbara König, Vitali Kozioura |
| 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 | Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. Geoffrey M. Brown, Lee Pike |
| 2006 | Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. Bing Li, Fabio Somenzi |
| 2006 | Efficient Guided Symbolic Reachability Using Reachability Expressions. Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya |
| 2006 | Efficient Model Checking for LTL with Partial Order Snapshots. Peter Niebert, Doron A. Peled |
| 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 | Exploiting Traces in Program Analysis. Alex Groce, Rajeev Joshi |
| 2006 | Exploration of the Capabilities of Constraint Programming for Software Verification. Hélène Collavizza, Michel Rueher |
| 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 | Finitary Winning in omega-Regular Games. Krishnendu Chatterjee, Thomas A. Henzinger |
| 2006 | MCMAS: A Model Checker for Multi-agent Systems. Alessio Lomuscio, Franco Raimondi |
| 2006 | MSCan - A Tool for Analyzing MSC Specifications. Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz |
| 2006 | Model-Checking Markov Chains in the Presence of Uncertainties. Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2006 | New Metrics for Static Variable Ordering in Decision Diagrams. Radu Siminiceanu, Gianfranco Ciardo |
| 2006 | PRISM: A Tool for Automatic Verification of Probabilistic Systems. Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2006 | Parameterized Verification of pi-Calculus Systems. Ping Yang, Samik Basu, C. R. Ramakrishnan |
| 2006 | SAT-Based Software Certification. Sagar Chaki |
| 2006 | Safety Metric Temporal Logic Is Fully Decidable. Joël Ouaknine, James Worrell |
| 2006 | Simulation-Based Graph Similarity. Oleg Sokolsky, Sampath Kannan, Insup Lee |
| 2006 | Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings Holger Hermanns, Jens Palsberg |
| 2006 | Verifying Concurrent Message-Passing C Programs with Recursive Calls. Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2006 | Weighted Pushdown Systems and Trust-Management Systems. Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps |
| 2006 | Why Waste a Perfectly Good Abstraction?. Arie Gurfinkel, Marsha Chechik |
| 2006 | Widening ROBDDs with Prime Implicants. Neil Kettle, Andy King, Tadeusz Strzemecki |