| 1991 | Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings Edmund M. Clarke, Robert P. Kurshan |
| 1990 | A Context Dependent Equivalence Relation Between Kripke Structures. Bernhard Josko |
| 1990 | A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka |
| 1990 | A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. Ugo A. Buy, Robert Moll |
| 1990 | A Stubborn Attack On State Explosion. Antti Valmari |
| 1990 | A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines. Wuxu Peng, S. Purushothaman |
| 1990 | An Algebra for Delay-Insensitive Circuits. Mark B. Josephs, Jan Tijmen Udding |
| 1990 | Auto/Autograph. Valérie Roy, Robert de Simone |
| 1990 | Automated RTL Verification Based on Predicate Calculus. Michel Langevin |
| 1990 | Automatic Verification of Extensions of Hardware Descriptions. Hans Eveking |
| 1990 | Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima |
| 1990 | Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. Jean Christophe Lloret, Pierre Azéma, François Vernadat |
| 1990 | Compositional Minimization of Finite State Systems. Susanne Graf, Bernhard Steffen |
| 1990 | Computer Assistance for Program Refinement. David A. Carrington, Kenneth Arthur Robinson |
| 1990 | Extension of the Karp and Miller Procedure to Lotos Specifications. Michel Barbeau, Gregor von Bochmann |
| 1990 | Finiteness Conditions and Structural Construction of Automata for All Process Algebras. Eric Madelaine, Didier Vergamini |
| 1990 | Formal Verification of Digital Circuits Using Symbolic Ternary System Models. Randal E. Bryant, Carl-Johan H. Seger |
| 1990 | Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence. Carl Pixley |
| 1990 | Issues Arising in the Analysis of L.0. Linda A. Ness |
| 1990 | Memory Efficient Algorithms for the Verification of Temporal Properties. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis |
| 1990 | Minimal Model Generation. Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs |
| 1990 | On Automatically Explaining Bisimulation Inequivalence. Rance Cleaveland |
| 1990 | On Using Protean To Verify ISO FTAM Protocol. Richard Lai, Ken R. Parker, Tharam S. Dillon |
| 1990 | PAPETRI: Environment for the Analysis of Petri Nets. Gérard Berthelot, Colette Johnen, Laure Petrucci |
| 1990 | Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. James M. Morris, Mark Howard |
| 1990 | Quantitative Temporal Reasoning. E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan |
| 1990 | Synthesizing Processes and Schedulers from Temporal Specifications. Howard Wong-Toi, David L. Dill |
| 1990 | Task-Driven Supervisory Control of Discrete Event Systems. Christian H. Golaszewski, Robert P. Kurshan |
| 1990 | Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem. Edmund M. Clarke |
| 1990 | The Algebraic Feedback Product of Automata. Victor Yodaiken |
| 1990 | The Modular Framework of Computer-Aided Verification. Gil Shurek, Orna Grumberg |
| 1990 | The Use of Model Checking in ATPG for Sequential Circuits. Paolo Camurati, Marco Gilli, Paolo Prinetto, Matteo Sonza Reorda |
| 1990 | Using Optimal Simulations to Reduce Reachability Graphs. Ryszard Janicki, Maciej Koutny |
| 1990 | Using Partial Orders to Improve Automatic Verification Methods. Patrice Godefroid |
| 1990 | Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems. David K. Probst, Hon Fung Li |
| 1990 | Vectorized Model Checking for Computation Tree Logic. Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi |
| 1990 | Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. Paul Loewenstein, David L. Dill |
| 1990 | Verifying Liveness Properties by Verifying Safety Properties. Jerry R. Burch |
| 1990 | Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. Olivier Coudert, Jean Christophe Madre, Christian Berthet |