| 1997 | The Industrial Success of Verification Tools Based on Stlmarck's Method. | Arne Borlv |
| 1997 | Towards a Mechanization of Cryptographic Protocal Verification. | Dominique Bolignano |
| 1997 | An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract). | Bernard Boigelot, Louis Bronne, Stphane Rassart |
| 1997 | µcke - Efficient µ-Calculus Model Checking. | Armin Biere |
| 1997 | Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design. | Grard Berry |
| 1997 | Efficient Detection of Vacuity in ACTL Formulaas. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
| 1997 | RuleBase: Model Checking at IBM. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal |
| 1997 | Model Checking in a Microprocessor Design Project. | Geoff Barrett, Anthony McIsaac |
| 1997 | Weak Bisimulation for Fully Probabilistic Processes. | Christel Baier, Holger Hermanns |
| 1997 | Partial-Order Reduction in Symbolic State Space Exploration. | Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1996 | Pushdown Processes: Games and Model Checking. | Igor Walukiewicz |
| 1996 | Analysis of Timed Systems Based on Time-Abstracting Bisimulation. | Stavros Tripakis, Sergio Yovine |
| 1996 | The METAFrame'95 Environment. | Bernhard Steffen, Tiziana Margaria, Andreas Claen, Volker Braun |
| 1996 | Deductive Model Checking. | Henny Sipma, Toms E. Uribe, Zohar Manna |
| 1996 | HORNSAT, Model Checking, Verification and games (Extended Abstract). | Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz |
| 1996 | Automated Deduction and Formal Methods. | John M. Rushby |
| 1996 | Modular Verification of SRT Division. | Harald Rue, Natarajan Shankar, Mandayam K. Srivas |
| 1996 | A Platform for Combining Deductive with Algorithmic Verification. | Amir Pnueli, Elad Shahar |
| 1996 | A Partition Refinement Algorithm for the | Marco Pistore, Davide Sangiorgi |
| 1996 | Protocol Verification by Aggregation of Distributed Transactions. | Seungjoon Park, David L. Dill |
| 1996 | PVS: Combining Specification, Proof Checking, and Model Checking. | Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas |
| 1996 | Automatic Translation of Natural Language System Specifications. | Rani Nelken, Nissim Francez |
| 1996 | The Real-Time Graphical Interval Logic Toolset. | Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon |
| 1996 | Saving Space by Fully Exploiting Invisible Transitions. | Hillel Miller, Shmuel Katz |
| 1996 | EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. | Pedro Merino, Jos M. Troya |