| 1992 | Model-Checking for Real-Time Systems Specified in Lotos. | Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui |
| 1992 | Verifying Timed Behavior Automata with Nonbinary Delay Constraints. | David K. Probst, Hon Fung Li |
| 1992 | Layering Techniques for Development of Parallel Systems. | Mannes Poel, Job Zwiers |
| 1992 | Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. | Dominique Mry, Abdelillah Mokkedem |
| 1992 | Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits. | Kenneth L. McMillan |
| 1992 | Tableau Recycling. | Angelika Mader |
| 1992 | Efficient Local Correctness Checking. | Kim Guldstrand Larsen |
| 1992 | Computer-Hindered Verification (Humans Can Do It Too). | Leslie Lamport |
| 1992 | Compositional Model Checking for Linear-Time Temporal Logic. | Roope Kaivola |
| 1992 | Towards a Verification Technique for Large Synchronous Circuits. | Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan |
| 1992 | Higher-Level Specification and Verification with BDDs. | Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang |
| 1992 | Efficient | Ramin Hojati, Herv J. Touati, Robert P. Kurshan, Robert K. Brayton |
| 1992 | A Verification Procedure via Invariant for Extended Communicating Finite-State Machines. | Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami |
| 1992 | Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. | Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1992 | State-Space Caching Revisited. | Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin |
| 1992 | Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. | Siegfried Fischer, Andreas Scholz, Dirk Taubner |
| 1992 | Mechanical Verification of Concurrent Systems with TLA. | Urban Engberg, Peter Grnning, Leslie Lamport |
| 1992 | Modular Abstractions for Verifying Real-Time Distributed Systems. | Hana De-Leon, Orna Grumberg |
| 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 | Faster Model Checking for the Modal Mu-Calculus. | Rance Cleaveland, Marion Klein, Bernhard Steffen |
| 1992 | Decidability of Bisimulation Equivalences for Parallel Timer Processes. | Karlis Cerans |
| 1992 | Generating Diagnostic Information for Behavioral Preorders. | Ufuk Celikkan, Rance Cleaveland |
| 1992 | A Case Study in Safety-Critical Design. | Glenn Bruns |
| 1992 | A Proof Assistant for Symbolic Model-Checking. | Julian C. Bradfield |