| 1998 | Computing Abstractions of Infinite State Systems Compositionally and Automatically. | Saddek Bensalem, Yassine Lakhnech, Sam Owre |
| 1998 | Verification of Timed Systems Using POSETs. | Wendy Belluomini, Chris J. Myers |
| 1998 | Mechanising BAN Kerberos by the Inductive Method. | Giampaolo Bella, Lawrence C. Paulson |
| 1998 | On-the-Fly Model Checking of RCTL Formulas. | Ilan Beer, Shoham Ben-David, Avner Landver |
| 1998 | Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models. | Felice Balarin |
| 1998 | MOCHA: Modularity in Model Checking. | Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
| 1998 | A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). | Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled |
| 1998 | On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels. | Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson |
| 1997 | On Combining Formal and Informal Verification. | Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz |
| 1997 | Efficient Modeling of Memory Arrays in Symbolic Simulation. | Miroslav N. Velev, Randal E. Bryant, Alok Jain |
| 1997 | prod 3.2: An Advanced Tool for Efficient Reachability Analysis. | Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius |
| 1997 | Verification of a Chemical Process Leak Test Procedure. | Adam L. Turk, Scott T. Probst, Gary J. Powers |
| 1997 | STARI: A Case Study in Compositional and Hierarchical Timing Verification. | Serdar Tasiran, Robert K. Brayton |
| 1997 | Parallelizing the Mur | Ulrich Stern, David L. Dill |
| 1997 | SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. | A. Prasad Sistla, L. Miliades, Viktor Gyuris |
| 1997 | Parametrized Verification of Linear Networks Using Automata as Invariants. | A. Prasad Sistla |
| 1997 | Trace Table Based Approach for Pipeline Microprocessor Verification. | Jun Sawada, Warren A. Hunt Jr. |
| 1997 | The Invariant Checker: Automated Deductive Verification of Reactive Systems. | Hassen Sadi |
| 1997 | Formal Verification - Applications & Case Studies. | Martin Rowe |
| 1997 | Efficient Model Checking Using Tabled Resolution. | Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren |
| 1997 | Automatic Abstraction Techniques for Propositional µ-calculus Model Checking. | Abelardo Pardo, Gary D. Hachtel |
| 1997 | Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation. | Manish Pandey, Randal E. Bryant |
| 1997 | Deadlock Checking Using Net Unfoldings. | Stephan Melzer, Stefan Rmer |
| 1997 | A Compositional Rule for Hardware Design Refinement. | Kenneth L. McMillan |
| 1997 | Practical Challenges for Industrial Formal Verification Tools. | F. Erich Marschner |