| 1992 | Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings Kim Guldstrand Larsen, Arne Skou |
| 1991 | "On the Fly" Verification of Behavioural Equivalences and Preorders. Jean-Claude Fernandez, Laurent Mounier |
| 1991 | A Linear Time Process Algebra. Alan Jeffrey |
| 1991 | A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. Rance Cleaveland, Bernhard Steffen |
| 1991 | A Proof Assistant for PSF. Sjouke Mauw, Gert J. Veltink |
| 1991 | A Semantic Driven Method to Check the Finiteness of CCS Processes. Nicoletta De Francesco, Paola Inverardi |
| 1991 | A Top Down Approach to the Formal Specification of SCI Cache Coherence. Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas |
| 1991 | A Two-Level Formal Verification Methodology using HOL and COSMOS. Carl-Johan H. Seger, Jeffrey J. Joyce |
| 1991 | An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
| 1991 | An Algebra of Boolean Processes. Costas Courcoubetis, Susanne Graf, Joseph Sifakis |
| 1991 | An Automata Theoretic Approach to Temporal Logic. Gjalt G. de Jong |
| 1991 | An Automated Proof Technique for Finite-State Machine Equivalence. Wenbo Mao, George J. Milne |
| 1991 | An Overview and Synthesis on Timed Process Algebras. Xavier Nicollin, Joseph Sifakis |
| 1991 | Automatic Temporal Verification of Buffer Systems. A. Prasad Sistla, Lenore D. Zuck |
| 1991 | Automating Most Parts of Hardware Proofs in HOL. Klaus Schneider, Ramayya Kumar, Thomas Kropf |
| 1991 | Avoiding State Exposion by Composition of Minimal Covering Graphs. Alain Finkel, Laure Petrucci |
| 1991 | Bounded-memory Algorithms for Verification On-the-fly. Claude Jard, Thierry Jéron |
| 1991 | Checking for Language Inclusion Using Simulation Preorders. David L. Dill, Alan J. Hu, Howard Wong-Toi |
| 1991 | Comparing Generic State Machines. Michel Langevin, Eduard Cerny |
| 1991 | Complexity Results for POMSET Languages. Joan Feigenbaum, Jeremy A. Kahn, Carsten Lund |
| 1991 | Compositional Checking of Satisfaction. Henrik Reif Andersen, Glynn Winskel |
| 1991 | Computing Distinguishing Formulas for Branching Bisimulation. Henri Korver |
| 1991 | Deciding Properties of Regular Real Time Processes. Uno Holmer, Kim Guldstrand Larsen, Wang Yi |
| 1991 | Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. Linda Christoff, Ivan Christoff |
| 1991 | Error Diagnosis in Finite Communicating Systems. Anne Rasse |
| 1991 | Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic. Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1991 | From Data Structure to Process Structure. Ed Brinksma |
| 1991 | Functional Extension of Symbolic Model Checking. Thomas Filkorn |
| 1991 | Generating BDDs for Symbolic Model Checking in CCS. Reinhard Enders, Thomas Filkorn, Dirk Taubner |
| 1991 | Integer Programming in the Analysis of Concurrent Systems. George S. Avrunin, Ugo A. Buy, James C. Corbett |
| 1991 | Mechanically Checked Proofs of Kernel Specification. William R. Bevier, Jørgen F. Søgaard-Andersen |
| 1991 | Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. David M. Goldschlag |
| 1991 | Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic. Monica Nesi |
| 1991 | Minimum and Maximum Delay Problems in Real-Time Systems. Costas Courcoubetis |
| 1991 | PAM: A Process Algebra Manipulator. Huimin Lin |
| 1991 | Partial-Order Model Checking: A Guide for the Perplexed. David K. Probst, Hon Fung Li |
| 1991 | Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. Hans Hüttel |
| 1991 | Taming Infinite State Spaces. Colin Sterling |
| 1991 | Temporal Precondition Verification of Design Transformations. Ranga Vemuri, Anuradha Sridhar |
| 1991 | The Concurrency Workbench with Priorities. Claus Torp Jensen |
| 1991 | The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. Michel Barbeau, Gregor von Bochmann |
| 1991 | Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. Patrice Godefroid, Pierre Wolper |
| 1991 | Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior. Matthias Mutz |
| 1991 | Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification. Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima |
| 1991 | Verifying Properties of HMS Machine Specifications of Real-Time Systems. Armen Gabrielian, R. Iyer |