- Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi:
Fair Simulation Minimization. CAV 2002: 610-624 - Walter Hartong, Lars Hedrich, Erich Barke:
On Discrete Modeling and Model Checking for Nonlinear Analog Systems. CAV 2002: 401-413 - Thomas A. Henzinger:
The Symbolic Approach to Hybrid Systems. CAV 2002: 57 - Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer:
Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538 - Gerard J. Holzmann:
Software Analysis and Model Checking. CAV 2002: 1-16 - Christian Jacobi:
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. CAV 2002: 309-323 - Victor Khomenko, Maciej Koutny, Walter Vogler:
Canonical Prefixes of Petri Net Unfoldings. CAV 2002: 582-595 - Orna Kupferman, Nir Piterman, Moshe Y. Vardi:
Model Checking Linear Properties of Prefix-Recognizable Systems. CAV 2002: 371-385 - Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün:
Compressing Transitions for Model Checking. CAV 2002: 569-581 - Kenneth L. McMillan:
Applying SAT Methods in Unbounded Symbolic Model Checking. CAV 2002: 250-264 - Amir Pnueli, Jessie Xu, Lenore D. Zuck:
Liveness with (0, 1, infty)-Counter Abstraction. CAV 2002: 107-122 - Mitra Purandare, Fabio Somenzi:
Vacuum Cleaning CTL Formulae. CAV 2002: 485-499 - Sriram K. Rajamani, Jakob Rehof:
Conformance Checking for Models of Asynchronous Message Passing Software. CAV 2002: 166-179 - Tatiana Rybina, Andrei Voronkov:
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. CAV 2002: 386-400 - Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant:
Deciding Separation Formulas with SAT. CAV 2002: 209-222 - Aaron Stump, Clark W. Barrett, David L. Dill:
CVC: A Cooperating Validity Checker. CAV 2002: 500-504 - Li Tan, Rance Cleaveland:
Evidence-Based Model Checking. CAV 2002: 455-470 - Wolfgang Thomas:
Infinite Games and Verification (Extended Abstract of a Tutorial). CAV 2002: 58-64 - Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers:
Automatic Derivation of Timing Constraints by Failure Analysis. CAV 2002: 195-208 - Håkan L. S. Younes, Reid G. Simmons:
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. CAV 2002: 223-235 - Lintao Zhang, Sharad Malik:
The Quest for Efficient Boolean Satisfiability Solvers. CAV 2002: 17-36 - Ed Brinksma, Kim Guldstrand Larsen:
Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Lecture Notes in Computer Science 2404, Springer 2002, ISBN 3-540-43997-8 [contents]