Skip to main content
SpringerLink
Log in
Book cover

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.

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Marie-Claude Gaudel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. James Woodcock
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1051)

Included in the following conference series:

Conference proceedings info: FME 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (38 papers)

  1. Front Matter

    Download chapter PDF

  2. How did software get so reliable without proof?

    • C. A. R. Hoare
    Pages 1-17

  3. A case study on the formal development of a reactor safety system

    • Terje Sivertsen
    Pages 18-38

  4. Test automation for safety-critical systems: Industrial application and future developments

    • Jan Peleska
    Pages 39-59

  5. Quantitative analysis of an application of formal methods

    • Juan Bicarregui, Jeremy Dick, Eoin Woods
    Pages 60-73

  6. Applying the B technologies to CICS

    • Jonathan Hoare, Jeremy Dick, Dave Neilson, Ib Sørensen
    Pages 74-84

  7. Refining action systems within B-Tool

    • M. Waidén, K. Sere
    Pages 85-104

  8. Integrating action systems and Z in a medical system specification

    • V. Kasurinen, K. Sere
    Pages 105-119

  9. Formalizing Anaesthesia: A case study in formal specification

    • Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard Renardel deLavalette
    Pages 120-139

  10. A new system engineering methodology coupling formal specification and performance evaluation

    • J. Martins, J. -P. Hubaux
    Pages 140-159

  11. Formalizing new navigation requirements for NASA's Space Shuttle

    • Ben L. Di Vito
    Pages 160-178

  12. Combining VDM-SL specifications with C++ code

    • Brigitte Fröhlich, Peter Gorm Larsen
    Pages 179-194

  13. Data reification without explicit abstraction functions

    • T Clement
    Pages 195-213

  14. Formal and informal specifications of a secure system component: Final results in a comparative study

    • T. M. Brookes, J. S. Fitzgerald, P. G. Larsen
    Pages 214-227

  15. Visual verification of safety and liveness

    • Antti Valmari, Manu Setälä
    Pages 228-247

  16. Graphical development of consistent system specifications

    • Bernhard Schätz, Heinrich Hußmann, Manfred Broy
    Pages 248-267

  17. Deduction in the Verification Support Environment (VSE)

    • Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, AndreasWolpers Wolpers
    Pages 268-286

  18. Consistency and refinement for partial specification in Z

    • Eerke Boiten, John Derrick, Howard Bowman, Maarten Steen
    Pages 287-306

  19. Combining statecharts and Z for the design of safety-critical control systems

    • Matthias Weber
    Pages 307-326

  20. Integrating real-time scheduling theory and program refinement

    • C. Fidge, M. Utting, P. Kearney, I. Hayes
    Pages 327-346
Back to top

Keywords

About this book

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations".
The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation