| 1993 | Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings Gregor von Bochmann, David K. Probst |
| 1992 | A Case Study in Safety-Critical Design. Glenn Bruns |
| 1992 | A Proof Assistant for Symbolic Model-Checking. Julian C. Bradfield |
| 1992 | A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami |
| 1992 | A Verification Strategy for Timing-Constrained Systems. Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1992 | Automatic Reduction in CTL Compositional Model Checking. Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1992 | Compositional Model Checking for Linear-Time Temporal Logic. Roope Kaivola |
| 1992 | Computer-Hindered Verification (Humans Can Do It Too). Leslie Lamport |
| 1992 | Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. Dominique Méry, Abdelillah Mokkedem |
| 1992 | Decidability of Bisimulation Equivalences for Parallel Timer Processes. Karlis Cerans |
| 1992 | Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1992 | Efficient Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton |
| 1992 | Efficient Local Correctness Checking. Kim Guldstrand Larsen |
| 1992 | Faster Model Checking for the Modal Mu-Calculus. Rance Cleaveland, Marion Klein, Bernhard Steffen |
| 1992 | Generating Diagnostic Information for Behavioral Preorders. Ufuk Celikkan, Rance Cleaveland |
| 1992 | Higher-Level Specification and Verification with BDDs. Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang |
| 1992 | Layering Techniques for Development of Parallel Systems. Mannes Poel, Job Zwiers |
| 1992 | Mechanical Verification of Concurrent Systems with TLA. Urban Engberg, Peter Grønning, Leslie Lamport |
| 1992 | Model-Checking for Real-Time Systems Specified in Lotos. Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui |
| 1992 | Modular Abstractions for Verifying Real-Time Distributed Systems. Hana De-Leon, Orna Grumberg |
| 1992 | Property Preserving Simulations. Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis |
| 1992 | State-Space Caching Revisited. Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin |
| 1992 | Symbolic Bisimulation Minimisation. Amar Bouali, Robert de Simone |
| 1992 | Tableau Recycling. Angelika Mader |
| 1992 | Timing Verification by Successive Approximation. Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis |
| 1992 | Towards a Verification Technique for Large Synchronous Circuits. Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan |
| 1992 | Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits. Kenneth L. McMillan |
| 1992 | Using a Theorem Prover for Reasoning about Concurrent Algorithms. Joakim von Wright, Thomas Långbacka |
| 1992 | Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. Siegfried Fischer, Andreas Scholz, Dirk Taubner |
| 1992 | Verification with Real-Time COSPAN. Costas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis |
| 1992 | Verifying General Safety and Liveness Propterties with Integer Programming. James C. Corbett |
| 1992 | Verifying Timed Behavior Automata with Nonbinary Delay Constraints. David K. Probst, Hon Fung Li |
| 1992 | Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification. Mark D. Aagaard, Miriam Leeser |