3. FME 1996: Oxford, UK
Marie-Claude Gaudel, Jim Woodcock (Eds.): FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science ISBN 3-540-60973-3
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
- 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
- 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
- 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
- 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
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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team