FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

1. Front Matter

   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

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.

• Mathematica
• design
• development
• distributed systems
• formal method
• formal methods
• formal specification
• formal verification
• modeling
• optimization
• programming
• programming language
• semantics
• technology
• verification

Policies and ethics