| 2002 | A Modular Checker for Multithreaded Programs. Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia |
| 2002 | AMC: An Adaptive Model Checker. Alex Groce, Doron A. Peled, Mihalis Yannakakis |
| 2002 | Abstracting C with abC. Dennis Dams, William Hesse, Gerard J. Holzmann |
| 2002 | Algorithmic Verification of Invalidation-Based Protocols. Marco Bozzano, Giorgio Delzanno |
| 2002 | Applying SAT Methods in Unbounded Symbolic Model Checking. Kenneth L. McMillan |
| 2002 | Automated Unbounded Verification of Security Protocols. Yannick Chevalier, Laurent Vigneron |
| 2002 | Automatic Abstraction Using Generalized Model Checking. Patrice Godefroid, Radha Jagadeesan |
| 2002 | Automatic Derivation of Timing Constraints by Failure Analysis. Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers |
| 2002 | CVC: A Cooperating Validity Checker. Aaron Stump, Clark W. Barrett, David L. Dill |
| 2002 | Canonical Prefixes of Petri Net Unfoldings. Victor Khomenko, Maciej Koutny, Walter Vogler |
| 2002 | Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. Clark W. Barrett, David L. Dill, Aaron Stump |
| 2002 | Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. Sharon Barner, Orna Grumberg |
| 2002 | Compressing Transitions for Model Checking. Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün |
| 2002 | Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings Ed Brinksma, Kim Guldstrand Larsen |
| 2002 | Conformance Checking for Models of Asynchronous Message Passing Software. Sriram K. Rajamani, Jakob Rehof |
| 2002 | Deciding Separation Formulas with SAT. Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant |
| 2002 | Evidence-Based Model Checking. Li Tan, Rance Cleaveland |
| 2002 | Exploiting Behavioral Hierarchy for Efficient Model Checking. Rajeev Alur, Michael McDougall, Zijiang Yang |
| 2002 | Extrapolating Tree Transformations. Ahmed Bouajjani, Tayssir Touili |
| 2002 | Fair Simulation Minimization. Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi |
| 2002 | Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. Christian Jacobi |
| 2002 | IF-2.0: A Validation Environment for Component-Based Real-Time Systems. Marius Bozga, Susanne Graf, Laurent Mounier |
| 2002 | Infinite Games and Verification (Extended Abstract of a Tutorial). Wolfgang Thomas |
| 2002 | Interface Compatibility Checking for Software Modules. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang |
| 2002 | Liveness with (0, 1, infty)-Counter Abstraction. Amir Pnueli, Jessie Xu, Lenore D. Zuck |
| 2002 | Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2002 | Model Checking Linear Properties of Prefix-Recognizable Systems. Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
| 2002 | Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia |
| 2002 | NuSMV 2: An OpenSource Tool for Symbolic Model Checking. Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
| 2002 | On Abstraction in Software Verification. Patrick Cousot, Radhia Cousot |
| 2002 | On Discrete Modeling and Model Checking for Nonlinear Analog Systems. Walter Hartong, Lars Hedrich, Erich Barke |
| 2002 | PathFinder: A Tool for Design Exploration. Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2002 | Practical Methods for Proving Program Termination. Michael Colón, Henny Sipma |
| 2002 | Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. Håkan L. S. Younes, Reid G. Simmons |
| 2002 | Property Checking via Structural Analysis. Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham |
| 2002 | Regular Tree Model Checking. Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso |
| 2002 | SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman |
| 2002 | SPeeDI - A Verification Tool for Polygonal Hybrid Systems. Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
| 2002 | Semi-formal Bounded Model Checking. Jesse D. Bingham, Alan J. Hu |
| 2002 | Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan |
| 2002 | Software Analysis and Model Checking. Gerard J. Holzmann |
| 2002 | State Space Reduction by Proving Confluence. Stefan Blom, Jaco van de Pol |
| 2002 | Symbolic Localization Reduction with Reconstruction Layering and Backtracking. Sharon Barner, Daniel Geist, Anna Gringauze |
| 2002 | Synchronous and Bidirectional Component Interfaces. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2002 | Temporal-Safety Proofs for Systems Code. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer |
| 2002 | The AVISS Security Protocol Analysis Tool. Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron |
| 2002 | The Quest for Efficient Boolean Satisfiability Solvers. Lintao Zhang, Sharad Malik |
| 2002 | The Symbolic Approach to Hybrid Systems. Thomas A. Henzinger |
| 2002 | The d/dt Tool for Verification of Hybrid Systems. Eugene Asarin, Thao Dang, Oded Maler |
| 2002 | Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. Tatiana Rybina, Andrei Voronkov |
| 2002 | Vacuum Cleaning CTL Formulae. Mitra Purandare, Fabio Somenzi |
| 2002 | chi-Chek: A Multi-valued Model-Checker. Marsha Chechik, Arie Gurfinkel, Benet Devereux |