Table of contents

  1. Front Matter
  2. Stuart Anderson, Konstantinos Tourlas
    Pages 1-19
  3. Gianna Reggio, Mauro Larosa
    Pages 40-61
  4. Anna Mikhajlova, Emil Sekerinski
    Pages 82-101
  5. Franz Huber, Bernhard Schätz, Geralf Einert
    Pages 122-141
  6. Hans Fleischhack, Josef Tapken
    Pages 162-181
  7. M. Broy, R. Grosu, C. Klein
    Pages 182-200
  8. Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss
    Pages 221-236
  9. William D. Young, William R. Bevier
    Pages 237-257
  10. Sten Agerholm, Jacob Frost
    Pages 278-297
  11. K. Lano, J. Bicarregui, J. Fiadeiro, A. Lopes
    Pages 298-317
  12. Bernhard K. Aichernig, Peter Gorm Larsenz
    Pages 338-357
  13. Marc Mehdi Ayadi, Dominique Bolignano
    Pages 358-377

About these proceedings


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63533-8
  • Online ISBN 978-3-540-69593-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment