| 1994 | A Determinizable Class of Timed Automata. Rajeev Alur, Limor Fix, Thomas A. Henzinger |
| 1994 | A Hybrid Model for Reasoning about Composed Hardware Systems. E. Thomas Schubert |
| 1994 | A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. Insup Lee, Sanguthevar Rajasekaran |
| 1994 | An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper |
| 1994 | An Improved Algorithm for the Evaluation of Fixpoint Expressions. David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
| 1994 | Another Look at LTL Model Checking. Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi |
| 1994 | Automatic Verification of Timed Circuits. Tomas Rokicki, Chris J. Myers |
| 1994 | Automatic verification of Pipelined Microprocessor Control. Jerry R. Burch, David L. Dill |
| 1994 | Beyond Model Checking. Zohar Manna |
| 1994 | Combining Partial Order Reductions with On-the-fly Model-Checking. Doron A. Peled |
| 1994 | Composing Symbolic Trajectory Evaluation Results. Scott Hazelhurst, Carl-Johan H. Seger |
| 1994 | Compositional Semantics of ESTEREL and Verification by Compositional Reductions. Robert de Simone, Annie Ressouche |
| 1994 | Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings David L. Dill |
| 1994 | Criteria for the Simple Path Property in Timed Automata. William K. C. Lam, Robert K. Brayton |
| 1994 | Decidability of Hybrid Systems with Rectangular Differential Inclusion. Anuj Puri, Pravin Varaiya |
| 1994 | Efficient Model Checking by Automated Ordering of Transition Relation Partitions. Daniel Geist, Ilan Beer |
| 1994 | Formula-Dependent Equivalence for Compositional CTL Model Checking. Adnan Aziz, Thomas R. Shiple, Vigyan Singhal |
| 1994 | Ground Temporal Logic: A Logic for Hardware Verification. David Cyrluk, Paliath Narendran |
| 1994 | Hierarchical Representations of Discrete Functions, with Application to Model Checking. Kenneth L. McMillan |
| 1994 | Improving Language Containment Using Fairness Graphs. Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton |
| 1994 | Incremental Model Checking in the Modal Mu-Calculus. Oleg Sokolsky, Scott A. Smolka |
| 1994 | Methodology and System for Practical Formal Verification of Reactive Hardware. Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli |
| 1994 | Model Checking Using Adaptive State and Data Abstraction. Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann |
| 1994 | Model Checking of macro Processes. Hardi Hungar |
| 1994 | Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. Vivek G. Naik, A. Prasad Sistla |
| 1994 | Models Whose Checks Don't Explode. Robert P. Kurshan |
| 1994 | On the Automatic Computation of Network Invariants. Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1994 | On the Random Walk Method for Protocol Testing. Milena Mihail, Christos H. Papadimitriou |
| 1994 | Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. Bernard Cousin, Jean-Michel Hélary |
| 1994 | Real-Time System Verification using P/T Nets. Roberto Gorrieri, Glauco Siliprandi |
| 1994 | Realizability and Synthesis of Reactive Modules. Anuchit Anuchitanukul, Zohar Manna |
| 1994 | Suspension Automata: A Decidable Class of Hybrid Automata. Jennifer McManis, Pravin Varaiya |
| 1994 | Symbolic Verification with Periodic Sets. Bernard Boigelot, Pierre Wolper |
| 1994 | The Completeness of a Hardware Inference System. Zheng Zhu, Carl-Johan H. Seger |
| 1994 | The Mobility Workbench - A Tool for the pi-Calculus. Björn Victor, Faron Moller |
| 1994 | The Verifiacation Problem for Safe Replaceability. Vigyan Singhal, Carl Pixley |
| 1994 | Using Abstractions for the Verification of Linear Hybrid Systems. Alfredo Olivero, Joseph Sifakis, Sergio Yovine |
| 1994 | Verification of Context-Free Timed Systems Using Linear Hybrid Observers. Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |
| 1994 | Verification of a Distributed Cache Memory by Using Abstractions. Susanne Graf |