Skip to main content
SpringerLink
Log in

FME '94: Industrial Benefit of Formal Methods

Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Maurice Naftalin
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tim Denvir
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Miquel Bertran
    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 873)

Included in the following conference series:

Conference proceedings info: FME 1994.

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 (41 papers)

  1. Front Matter

    Download chapter PDF

  2. From action systems to modular systems

    • R. J. R. Back, K. Sere
    Pages 1-25

  3. Formal methods in the railways signalling industry

    • Babak Dehbonei, Fernando Mejia
    Pages 26-34

  4. Formal and informal specifications of a secure system component: first results in a comparative study

    • J. S. Fitzgerald, T. M. Brookes, M. A. Green, P. G. Larsen
    Pages 35-44

  5. Formalising British rail's signalling rules

    • Trevor King
    Pages 45-54

  6. Three applications of formal methods at MITRE

    • Joshua D. Guttman, Dale M. Johnson
    Pages 55-65

  7. Specification and analysis of a security management system

    • Omar Cherkaoui, Nathalie Rico, Alan Bernardi
    Pages 66-82

  8. Verification techniques for LOTOS

    • U. Martin, M. Thomas
    Pages 83-92

  9. Experiences in using the abstract machine notation in a GKS case study

    • Brian Ritchie, Juan Bicarregui, Howard Haughton
    Pages 93-104

  10. Seven more myths of formal methods: Dispelling industrial prejudices

    • Jonathan P. Bowen, Michael G. Hinchey
    Pages 105-117

  11. Comparing approaches to data reification

    • T. Clement
    Pages 118-133

  12. Towards a formalization of programming-by-difference

    • I. Maung, J. R. Howse, R. J. Mitchell
    Pages 134-153

  13. A new concept of refinement used for behaviour modelling with automata

    • Barbara Paech, Bernhard Rumpe
    Pages 154-174

  14. An extended VDM refinement relation

    • Morten Elvang-Gøransson, Robert E. Fields
    Pages 175-189

  15. On transferring VDM verification techniques to Z

    • Peter A. Lindsay
    Pages 190-213

  16. Proof-based development of specifications with KIDS/VDM

    • Yves Ledru
    Pages 214-232

  17. Evaluation of underdetermined explicit definitions

    • Peter Gorm Larsen
    Pages 233-250

  18. A precise examination of the behaviour of process models

    • Kelvin J. Ross, Peter A. Lindsay
    Pages 251-270

  19. A theory of presentations

    • D. J. Duke, M. D. Harrison
    Pages 271-290

  20. Applying a concurrent formal framework to process modelling

    • J. A. Keane, J. Sa, B. C. Warboys
    Pages 291-305
Back to top

Keywords

About this book

This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation