| 1993 | A Decision Algorithm for Full Propositional Temporal Logic. Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli |
| 1993 | A Graphical Interval Logic Toolset for Verifying Concurrent Systems. George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith |
| 1993 | A Mechanically Verified Application for a Mechanically Verified Environment. Matthew Wilding |
| 1993 | A Modal Logic for Message passing Processes (Extended Abstract). Matthew Hennessy, Xinxin Liu |
| 1993 | A Structural Linearization Principle for Processes. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
| 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 | All from One, One for All: on Model Checking Using Representatives. Doron A. Peled |
| 1993 | Alternating RQ Timed Automata. William K. C. Lam, Robert K. Brayton |
| 1993 | An Efficient Algorithm for Minimizing Real-time Transition Systems. Mihalis Yannakakis, David Lee |
| 1993 | An Iterative Approach to Language Containment. Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1993 | Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. June-Kyung Rho, Fabio Somenzi |
| 1993 | BDD-Based Debugging Of Design Using Language Containment and Fair CTL. Ramin Hojati, Robert K. Brayton, Robert P. Kurshan |
| 1993 | Combining Model Checking and Theorem Proving to Verify Parallel Processes. Hardi Hungar |
| 1993 | Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings Costas Courcoubetis |
| 1993 | Computer-Assisted Simulation Proofs. Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants |
| 1993 | Computing Accumulated Delays in Real-time Systems. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
| 1993 | Delay Analysis in Synchronous Programs. Nicolas Halbwachs |
| 1993 | Efficient Verification of Parallel Real-Time Systems. Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke |
| 1993 | Efficient Verification with BDDs using Implicitly Conjoined Invariants. Alan J. Hu, David L. Dill |
| 1993 | Exploiting Symmetry In Temporal Logic Model Checking. Edmund M. Clarke, Thomas Filkorn, Somesh Jha |
| 1993 | Functionality Decomposition by Compositional Correstness Preserving Transformation. Ed Brinksma, Rom Langerak, Peter Broekroelofs |
| 1993 | Generation of Reduced Models for Checking Fragments of CTL. Dennis Dams, Orna Grumberg, Rob Gerth |
| 1993 | Logic Synthesis and Design Verification. Robert K. Brayton |
| 1993 | On Model-Checking for Fragments of µ-Calculus. E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla |
| 1993 | On-the-Fly Verification with Stubborn Sets. Antti Valmari |
| 1993 | Parametric Circuit Representation Using Inductive Boolean Functions. Aarti Gupta, Allan L. Fisher |
| 1993 | Protocol Design for an Automated Highway System (Abstract). Pravin Varaiya |
| 1993 | Reachability Analysis of Planar Multi-limear Systems. Oded Maler, Amir Pnueli |
| 1993 | Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems. A. S. Krishnakumar |
| 1993 | Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract). Patrice Godefroid, Didier Pirottin |
| 1993 | Reliable Hashing without Collosion Detection. Pierre Wolper, Denis Leroy |
| 1993 | Symbolic Equivalence Checking. Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier |
| 1993 | Symmetry and Model Checking. E. Allen Emerson, A. Prasad Sistla |
| 1993 | The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. Patrick Lincoln, John M. Rushby |
| 1993 | Timed Modal Specification - Theory and Tools. Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen |
| 1993 | Verification of Real-Time Systems Using PVS. Natarajan Shankar |
| 1993 | Verification of a Multiplier: 64 Bits and Beyond. Robert P. Kurshan, Leslie Lamport |
| 1993 | Verification of timing Properties of VHDL. Costas Courcoubetis, Werner Damm, Bernhard Josko |
| 1993 | Verifying Quantitative Real-Time Properties of Synchronous Programs. Martin Jourdan, Florence Maraninchi, Alfredo Olivero |
| 1993 | Verifying Timed Behavior Automata with Input/Output Critical Races. David K. Probst, Hon Fung Li |