| 1996 | Formalizing New Navigation Requirements for NASA's Space Shuttle. | Ben L. Di Vito |
| 1996 | Visual Verification of Safety and Liveness. | Antti Valmari, Manu Setl |
| 1996 | A Case Study on the Formal Development of a Reactor Safety System. | Terje Sivertsen |
| 1996 | An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. | Lihua Shi, Paddy Nixon |
| 1996 | Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. | Christel Seguin, Virginie Wiels |
| 1996 | Graphical Development of Consistent System Specifications. | Bernhard Schtz, Heinrich Humann, Manfred Broy |
| 1996 | Automatic Verification of a Hydroelectric Power Plant. | Rosario Pugliese, Enrico Tronci |
| 1996 | From Testing Theory to Test Driver Implementation. | Jan Peleska, Michael Siegel |
| 1996 | Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. | Jan Peleska |
| 1996 | A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. | Juan-Jos Martins, Jean-Pierre Hubaux |
| 1996 | Correct and User-Friendly Implementations of Transformation Systems. | Kolyang, Thomas Santen, Burkhart Wolff |
| 1996 | The Incremental Development of Correct Specifications for Distributed Systems. | Stephan Kleuker, Hermann Tjabben |
| 1996 | Integrating Action Systems and Z in a Medical System Specification. | V. Kasurinen, Kaisa Sere |
| 1996 | Formal Specification and Verification of the pGVT Algorithm. | Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey |
| 1996 | Experiences in Embedded Scheduling. | David M. Jackson |
| 1996 | Deduction in the Verification Support Environment (VSE). | Dieter Hutter, Bruno Langenstein, Claus Sengler, Jrg H. Siekmann, Werner Stephan, Andreas Wolpers |
| 1996 | Applying the B Technologies on CICS. | Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Srensen |
| 1996 | How Did Software Get So Reliable Without Proof? | C. A. R. Hoare |
| 1996 | Experiments in Theorem Proving and Model Checking for Protocol Verification. | Klaus Havelund, Natarajan Shankar |
| 1996 | Formalizing Anaesthesia: a case study in formal specification. | Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette |
| 1996 | A Theory of Distributing Train Rescheduling. | Chris George |
| 1996 | Combining VDM-SL Specifications with C++ Code. | Brigitte Frhlich, Peter Gorm Larsen |
| 1996 | Integrating Real-Time Scheduling Theory and Program Refinement. | Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes |
| 1996 | Program Slicing Using Weakest Preconditions. | Joseph J. Comuzzi, Johnson M. Hart |
| 1996 | Data Reification without Explicit Abstraction Functions. | Tim Clement |