| 1998 | A Formal Method Experience at Secure Computing Corporation. | John Hoffman, Charlie Payne |
| 1998 | You Assume, We Guarantee: Methodology and Case Studies. | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1998 | From | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
| 1998 | SCR*: A Toolset for Specifying and Analyzing Software Requirements. | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj |
| 1998 | Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. | David S. Hardin, Matthew Wilding, David A. Greve |
| 1998 | Synchronous Programming of Reactive Systems. | Nicolas Halbwachs |
| 1998 | Normed Simulations. | W. O. David Griffioen, Frits W. Vaandrager |
| 1998 | BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. | Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal |
| 1998 | Verifying Mobile Processes in the HAL Environment. | Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1998 | Protocol Verification in Nuprl. | Amy P. Felty, Douglas J. Howe, Frank A. Stomp |
| 1998 | Verification of Parameterized Bus Arbitration Protocol. | E. Allen Emerson, Kedar S. Namjoshi |
| 1998 | MONA 1.x: New Techniques for WS1S and WS2S. | Jacob Elgaard, Nils Klarlund, Anders Mller |
| 1998 | Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems. | Conrado Daws |
| 1998 | Formal Methods in an Industrial Environment. | Jorge Cullar |
| 1998 | An Experiment in Parallelizing an Application Using Formal Methods. | Raphal Couturier, Dominique Mry |
| 1998 | Multiple Counters Automata, Safety Analysis and Presburger Arithmetic. | Hubert Comon, Yan Jurski |
| 1998 | Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. | Michael Coln, Toms E. Uribe |
| 1998 | Symmetry Reductions in Model Checking. | Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla |
| 1998 | Verification of Floating-Point Adders. | Yirng-An Chen, Randal E. Bryant |
| 1998 | A Role for Theorem Proving in Multi-Processor Design. | Albert John Camilleri |
| 1998 | Real-Time Verification of Statemate Designs. | Udo Brockmeyer, Gunnar Wittich |
| 1998 | Kronos: A Model-Checking Tool for Real-Time Systems. | Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine |
| 1998 | XEVE, an ESTEREL Verification Environment. | Amar Bouali |
| 1998 | Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols. | Dominique Bolignano |
| 1998 | InVeST: A Tool for the Verification of Invariants. | Saddek Bensalem, Yassine Lakhnech, Sam Owre |