3. FME 1996: Oxford, UK

Invited Lectures

• C. A. R. Hoare:
  How Did Software Get So Reliable Without Proof? 1-17
  
• Terje Sivertsen:
  A Case Study on the Formal Development of a Reactor Safety System. 18-38
  
• Jan Peleska:
  Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. 39-59
  

B

• Juan Bicarregui, Jeremy Dick, Eoin Woods:
  Quantitative Analysis of an Application of Formal Methods. 60-73
  
• Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen:
  Applying the B Technologies on CICS. 74-84
  

Action Systems

• Marina A. Waldén, Kaisa Sere:
  Refining Action Systems within B-Tool. 85-104
  
• V. Kasurinen, Kaisa Sere:
  Integrating Action Systems and Z in a Medical System Specification. 105-119
  

Requirements

• Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette:
  Formalizing Anaesthesia: a case study in formal specification. 120-139
  
• Juan-José Martins, Jean-Pierre Hubaux:
  A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. 140-159
  
• Ben L. Di Vito:
  Formalizing New Navigation Requirements for NASA's Space Shuttle. 160-178
  

VDM

• Brigitte Fröhlich, Peter Gorm Larsen:
  Combining VDM-SL Specifications with C++ Code. 179-194
  
• Tim Clement:
  Data Reification without Explicit Abstraction Functions. 195-213
  
• T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen:
  Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. 214-227
  

User Interfacts for Formal Methods

• Antti Valmari, Manu Setälä:
  Visual Verification of Safety and Liveness. 228-247
  
• Bernhard Schätz, Heinrich Hußmann, Manfred Broy:
  Graphical Development of Consistent System Specifications. 248-267
  
• Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers:
  Deduction in the Verification Support Environment (VSE). 268-286
  

Z

• Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen:
  Consistency and Refinement for Partial Specification in Z. 287-306
  
• Matthias Weber:
  Combining Statecharts and Z for the Design of Safety-Critical Control Systems. 307-326
  
• Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes:
  Integrating Real-Time Scheduling Theory and Program Refinement. 327-346
  

Distributed Systems (1)

• Christel Seguin, Virginie Wiels:
  Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. 347-366
  
• Frank S. de Boer, M. van Hulst:
  Local Nondeterminism in Asynchronously Communicating Processes. 367-384
  

Larch and LP

• Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan:
  Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. 385-404
  
• Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey:
  Formal Specification and Verification of the pGVT Algorithm. 405-424
  

Model Checking

• Rosario Pugliese, Enrico Tronci:
  Automatic Verification of a Hydroelectric Power Plant. 425-444
  
• David M. Jackson:
  Experiences in Embedded Scheduling. 445-464
  
• Bernard Boigelot, Patrice Godefroid:
  Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN. 465-478
  

Distributed Systems

• Stephan Kleuker, Hermann Tjabben:
  The Incremental Development of Correct Specifications for Distributed Systems. 479-498
  
• Chris George:
  A Theory of Distributing Train Rescheduling. 499-517
  
• Lihua Shi, Paddy Nixon:
  An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. 518-537
  

Testing and Debugging

• Jan Peleska, Michael Siegel:
  From Testing Theory to Test Driver Implementation. 538-556
  
• Joseph J. Comuzzi, Johnson M. Hart:
  Program Slicing Using Weakest Preconditions. 557-575
  

Architecture and Reuse

• Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena:
  A Formal Approach to Architectural Design Patterns. 576-594
  
• Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp:
  Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. 595-608
  

Transformations

• Jürgen Bohn, Wil Janssen:
  A Strategic Approach to Transformational Design. 609-628
  
• Kolyang, Thomas Santen, Burkhart Wolff:
  Correct and User-Friendly Implementations of Transformation Systems. 629-648
  

Model Checking

• André Arnold, Didier Bégay, Jean-Pierre Radoux:
  An Example of Use of Formal Methods to Debug an Embedded Software. 649-661
  
• Klaus Havelund, Natarajan Shankar:
  Experiments in Theorem Proving and Model Checking for Protocol Verification. 662-681
  
• Farn Wang, Chia-Tien Dan Lo:
  Procedure-Level Verification of Real-time Concurrent Systems. 682-701