Skip to main content
SpringerLink
Log in

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. John Fitzgerald
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cliff B. Jones
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Lucas
    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 1313)

Included in the following conference series:

Conference proceedings info: FME 1997.

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

Access this book

Log in via an institution

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Diagrams and programming languages for programmable controllers

    • Stuart Anderson, Konstantinos Tourlas
    Pages 1-19

  3. Graphical specification and reasoning: Case study generalised railroad crossing

    • Henning Dierks, Cheryl Dietz
    Pages 20-39

  4. A graphic notation for formal specifications of dynamic systems

    • Gianna Reggio, Mauro Larosa
    Pages 40-61

  5. A semantic integration of object-Z and CSP for the specification of concurrent systems

    • Graeme Smith
    Pages 62-81

  6. Class refinement and interface refinement in object-oriented programs

    • Anna Mikhajlova, Emil Sekerinski
    Pages 82-101

  7. Formalizing requirements for distributed systems with trace diagrams

    • Stephan Kleuker
    Pages 102-121

  8. Consistent graphical specification of distributed systems

    • Franz Huber, Bernhard Schätz, Geralf Einert
    Pages 122-141

  9. Design of reactive control systems for event-driven operations

    • K. Lano, A. Sanchez
    Pages 142-161

  10. An M-Net semantics for a real-time extension of µSDL

    • Hans Fleischhack, Josef Tapken
    Pages 162-181

  11. Reconciling real-time with asynchronous message passing

    • M. Broy, R. Grosu, C. Klein
    Pages 182-200

  12. Specifying the remote controlling of valves in an explosion test environment

    • Martin Schönhoff, Mojgan Kowsari
    Pages 201-220

  13. PICGAL: Practical use of formal specification to develop a complex critical system

    • Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss
    Pages 221-236

  14. Mathematical modeling and analysis of an external memory manager

    • William D. Young, William R. Bevier
    Pages 237-257

  15. Automatic translation of VDM-SL specifications into gofer

    • Paul Mukherjee
    Pages 258-277

  16. Towards an Integrated CASE and theorem proving tool for VDM-SL

    • Sten Agerholm, Jacob Frost
    Pages 278-297

  17. Specification of required non-determinism

    • K. Lano, J. Bicarregui, J. Fiadeiro, A. Lopes
    Pages 298-317

  18. A corrected failure-divergence model for CSP in Isabelle/HOL

    • H. Tej, B. Wolff
    Pages 318-337

  19. A proof obligation generator for VDM-SL

    • Bernhard K. Aichernig, Peter Gorm Larsenz
    Pages 338-357

  20. Verification of cryptographic protocols: An experiment

    • Marc Mehdi Ayadi, Dominique Bolignano
    Pages 358-377
Back to top

Keywords

About this book

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation