- How did Software get so Reliable Without Proof?/ C. A. R. Hoare
- A Case Study on the Formal Development of a Reactor Safety System / Terje Sivertsen
- Test Automation for Safety-Critical Systems: Industrial Application and Future Developments / Jan Peleska
- Quantitative Analysis of an Application of Formal Methods /J. Bicarregui, J. Dick and E. Woods
- Applying the B Technologies to CICS /J. Hoare, J. Dick, D. Neilson and I. SCrensen
- Refining Action Systems within B-Tool / M. Waldén and K. Sere
- Integrating Action Systems and Z in a Medical System Specification / V. Kasurinen and K. Sere
- Formalizing Anaesthesia: a Case Study in Formal Specification / R. Groenboom, E. Saaman, E. Rotterdam and G. Renardel de Lavalette
- A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation / J. Martins and J.-P. Hubaux
- Formalizing New Navigation Requirements for NASA's Space Shuttle / Ben L. Di Vito
- Combining VDM-SL Specifications with C++ Code / B. Fröhlich and P.G. Larsen
- Data Reification whithout Explicit Abstraction Functions / T. Clement
- Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study / T. M. Brookes, J. S. Fitzgerald and P.G. Larsen
- Visual Verification of Safety and Liveness / A. Valmari and M. Setälä
- Graphical Development of Consistent System Specifications /B. Schätz, H. HuBmann and M. Broy
- Deduction in the Verification Support Environment (VSE) / D. Hutter, B. Langenstein, C. Sengler, J. H. Siekmann, W. Stephan and A. Wolpers
- Consistency and Refinement for Partial Specification in Z / E. Boiten, J. Derrick, H. Bowman and M. Steen
- Combining Statecharts and Z for the Design of Safety-Critical Control Systems / M. Weber
- Integrating Real-time Scheduling Theory and Program Refinement / C. Fidge, M. Utting, P. Kearney and I. Hayes
- Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems /C. Seguin and V. Wiels
- Local Nondeterminism in Asynchronously Communicating Processes /F. S. de Boer and M. van Hulst
- Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language/ P. Chalin, P. Grogono and T. Radhakrishnan
- Formal Specification and Verification of the pGVT Algorithm / B. Kannikeswaran, R. Radhakrishnan, P. Frey, P. Alexander and P. A. Wilsey
- Automatic Verification of a Hydroelectric Power Plant / R. Pugliese and E. Tronci
- Experiences in Embedded Scheduling /David M. Jackson
- Model Checking in Practice: An Analysis of the ACCESS.bus TM Protocol using SPIN/ B. Boigelot and P. Godefroid
- The Incremental Development of Correct Specifications for Distributed Systems / S. Kleuker and H. Tjabben
- A Theory of Distributing Train Rescheduling / C. George
- An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets /L. Shi and P. Nixon
- From Testing Theory to Test Driver Implementation /J. Peleska and M. Siegel
- Program Slicing using Weakest Preconditions /J. J. Comuzzi and J. M. Hart
- A Formal Approach to Architectural Design Patterns / P. S. C. Alencar, D. D. Cowan and C. J. P. Lucena
- Modular Completeness: Integrating the Reuse of Specified Software in Top-Down Program Development /J. Zwiers, U. Hannemann, Y. Lakhneche, W.-P. de Roever and F. Stomp
- A Strategic Approach to Transformational Design /J. Bohn and W. Janssen
- Correct and User-Friendly Implementations of Transformation Systems /Kolyang, T. Santen and B. Wolff
- An Example of use of Formal Methods to Debug an Embedded Software /A. Arnold, D. Bégay and J.-P. Radoux
- Experiments in Theorem Proving and Model Checking for Protocol Verification / K. Havelund and N. Shankar
- Procedure-Level Verification of Real-time Concurrent Systems /F. Wang and C.-T. Lo
