| 2008 | Peephole Partial Order Reduction. | Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta |
| 2008 | SVISS: Symbolic Verification of Symmetric Systems. | Thomas Wahl, Nicolas Blanc, E. Allen Emerson |
| 2008 | GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. | Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo |
| 2008 | Context-Bounded Analysis of Concurrent Queue Systems. | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
| 2008 | Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic |
| 2008 | Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. | Mayank Saksena, Oskar Wibling, Bengt Jonsson |
| 2008 | Computation and Visualisation of Phase Portraits for Model Checking SPDIs. | Gordon J. Pace, Gerardo Schneider |
| 2008 | The Real-Time Maude Tool. | Peter Csaba lveczky, Jos Meseguer |
| 2008 | Z3: An Efficient SMT Solver. | Leonardo Mendona de Moura, Nikolaj S. Bjrner |
| 2008 | Rocket-Fast Proof Checking for SMT Solvers. | Michal Moskal |
| 2008 | Quantified Invariant Generation Using an Interpolating Saturation Prover. | Kenneth L. McMillan |
| 2008 | Hardware Verification: Techniques, Methodology and Solutions. | Sharad Malik |
| 2008 | Trusted Source Translation of a Total Function Language. | Guodong Li, Konrad Slind |
| 2008 | On Automated Verification of Probabilistic Programs. | Axel Legay, Andrzej S. Murawski, Jol Ouaknine, James Worrell |
| 2008 | Interprocedural Analysis of Concurrent Programs Under a Context Bound. | Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps |
| 2008 | Fast Directed Model Checking Via Russian Doll Abstraction. | Sebastian Kupferschmid, Jrg Hoffmann, Kim Guldstrand Larsen |
| 2008 | Reasoning Algebraically About P-Solvable Loops. | Laura Kovcs |
| 2008 | Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. | Gal Katz, Doron A. Peled |
| 2008 | On Local Reasoning in Verification. | Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2008 | Automatically Refining Abstract Interpretations. | Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani |
| 2008 | On Verifying Fault Tolerance of Distributed Protocols. | Dana Fisman, Orna Kupferman, Yoad Lustig |
| 2008 | RESY: Requirement Synthesis for Compositional Model Checking. | Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe |
| 2008 | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. | Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2008 | Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
| 2008 | Efficient Interpolant Generation in Satisfiability Modulo Theories. | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani |