| 1993 | Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems. | A. S. Krishnakumar |
| 1993 | A Decision Algorithm for Full Propositional Temporal Logic. | Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli |
| 1993 | Verifying Quantitative Real-Time Properties of Synchronous Programs. | Martin Jourdan, Florence Maraninchi, Alfredo Olivero |
| 1993 | Combining Model Checking and Theorem Proving to Verify Parallel Processes. | Hardi Hungar |
| 1993 | Efficient Verification with BDDs using Implicitly Conjoined Invariants. | Alan J. Hu, David L. Dill |
| 1993 | BDD-Based Debugging Of Design Using Language Containment and Fair CTL. | Ramin Hojati, Robert K. Brayton, Robert P. Kurshan |
| 1993 | A Modal Logic for Message passing Processes (Extended Abstract). | Matthew Hennessy, Xinxin Liu |
| 1993 | Delay Analysis in Synchronous Programs. | Nicolas Halbwachs |
| 1993 | Parametric Circuit Representation Using Inductive Boolean Functions. | Aarti Gupta, Allan L. Fisher |
| 1993 | A Tool for Symbolic Program Verification and Abstration. | Susanne Graf, Claire Loiseaux |
| 1993 | A Verifier and Timing Analyser for Simple Imperative Programs (Abstract). | Michael J. C. Gordon |
| 1993 | Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). | Patrice Godefroid, Didier Pirottin |
| 1993 | Symbolic Equivalence Checking. | Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier |
| 1993 | Symmetry and Model Checking. | E. Allen Emerson, A. Prasad Sistla |
| 1993 | On Model-Checking for Fragments of µ-Calculus. | E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla |
| 1993 | Generation of Reduced Models for Checking Fragments of CTL. | Dennis Dams, Orna Grumberg, Rob Gerth |
| 1993 | Verification of timing Properties of VHDL. | Costas Courcoubetis, Werner Damm, Bernhard Josko |
| 1993 | Exploiting Symmetry In Temporal Logic Model Checking. | Edmund M. Clarke, Thomas Filkorn, Somesh Jha |
| 1993 | Timed Modal Specification - Theory and Tools. | Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen |
| 1993 | Functionality Decomposition by Compositional Correstness Preserving Transformation. | Ed Brinksma, Rom Langerak, Peter Broekroelofs |
| 1993 | Logic Synthesis and Design Verification. | Robert K. Brayton |
| 1993 | An Iterative Approach to Language Containment. | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1993 | Computing Accumulated Delays in Real-time Systems. | Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
| 1992 | Using a Theorem Prover for Reasoning about Concurrent Algorithms. | Joakim von Wright, Thomas Lngbacka |
| 1992 | Automatic Reduction in CTL Compositional Model Checking. | Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |