Abstract is missing.
- How Did Software Get So Reliable Without Proof?C. A. R. Hoare. 1-17
- A Case Study on the Formal Development of a Reactor Safety SystemTerje Sivertsen. 18-38
- Test Automation for Safety-Critical Systems: Industrial Application and Future DevelopmentsJan Peleska. 39-59
- Quantitative Analysis of an Application of Formal MethodsJuan Bicarregui, Jeremy Dick, Eoin Woods. 60-73
- Applying the B Technologies on CICSJonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen. 74-84
- Refining Action Systems within B-ToolMarina A. Waldén, Kaisa Sere. 85-104
- Integrating Action Systems and Z in a Medical System SpecificationV. Kasurinen, Kaisa Sere. 105-119
- Formalizing Anaesthesia: a case study in formal specificationRix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette. 120-139
- A New System Engineering Methodology Coupling Formal Specification and Performance EvaluationJuan-José Martins, Jean-Pierre Hubaux. 140-159
- Formalizing New Navigation Requirements for NASA s Space ShuttleBen L. Di Vito. 160-178
- Combining VDM-SL Specifications with C++ CodeBrigitte Fröhlich, Peter Gorm Larsen. 179-194
- Data Reification without Explicit Abstraction FunctionsTim Clement. 195-213
- Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative StudyT. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen. 214-227
- Visual Verification of Safety and LivenessAntti Valmari, Manu Setälä. 228-247
- Graphical Development of Consistent System SpecificationsBernhard Schätz, Heinrich Hußmann, Manfred Broy. 248-267
- Deduction in the Verification Support Environment (VSE)Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers. 268-286
- Consistency and Refinement for Partial Specification in ZEerke Boiten, John Derrick, Howard Bowman, Maarten Steen. 287-306
- Combining Statecharts and Z for the Design of Safety-Critical Control SystemsMatthias Weber. 307-326
- Integrating Real-Time Scheduling Theory and Program RefinementColin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes. 327-346
- Using a Logical and Categorical Approach for the Validation of Fault-Tolerant SystemsChristel Seguin, Virginie Wiels. 347-366
- Local Nondeterminism in Asynchronously Communicating ProcessesFrank S. de Boer, M. van Hulst. 367-384
- Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification LanguagePatrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan. 385-404
- Formal Specification and Verification of the pGVT AlgorithmBalakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey. 405-424
- Automatic Verification of a Hydroelectric Power PlantRosario Pugliese, Enrico Tronci. 425-444
- Experiences in Embedded SchedulingDavid M. Jackson. 445-464
- Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPINBernard Boigelot, Patrice Godefroid. 465-478
- The Incremental Development of Correct Specifications for Distributed SystemsStephan Kleuker, Hermann Tjabben. 479-498
- A Theory of Distributing Train ReschedulingChris George. 499-517
- An Improved Translation of SA/RT Specification Model to High-Level Timed Petri NetsLihua Shi, Paddy Nixon. 518-537
- From Testing Theory to Test Driver ImplementationJan Peleska, Michael Siegel. 538-556
- Program Slicing Using Weakest PreconditionsJoseph J. Comuzzi, Johnson M. Hart. 557-575
- A Formal Approach to Architectural Design PatternsPaulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena. 576-594
- Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program DevelopmentJob Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp. 595-608
- A Strategic Approach to Transformational DesignJürgen Bohn, Wil Janssen. 609-628
- Correct and User-Friendly Implementations of Transformation SystemsKolyang, Thomas Santen, Burkhart Wolff. 629-648
- An Example of Use of Formal Methods to Debug an Embedded SoftwareAndré Arnold, Didier Bégay, Jean-Pierre Radoux. 649-661
- Experiments in Theorem Proving and Model Checking for Protocol VerificationKlaus Havelund, Natarajan Shankar. 662-681
- Procedure-Level Verification of Real-time Concurrent SystemsFarn Wang, Chia-Tien Dan Lo. 682-701