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
  14. J. -Ch. Grégoire
    Pages 378-397
  15. Abdelillah Mokkedem, Michael J. Ferguson, Robert de Johnston
    Pages 398-417
  16. Shenwei Yu, Zhaohui Luo
    Pages 442-458
  17. A. Dold, F. W. von Henke, H. Pfeifer, H. Rueß
    Pages 459-472
  18. Richard F. Paige
    Pages 473-494
  19. David Hemer, Peter A. Lindsay
    Pages 495-514
  20. F. S. de Boer, U. Hannemann, W. -P. de Roever
    Pages 515-532
  21. Pierre Michel, Virginie Wiels
    Pages 533-552
  22. Carsta Petersohn, Luis Urbina
    Pages 553-572
  23. David W. J. Stringer-Calvert, Susan Stepney, Ian Wand
    Pages 573-588
  24. David Cazier, Jean-François Dufourd
    Pages 605-623
  25. Leila Silva, Augusto Sampaio, Edna Barros
    Pages 624-643
  26. Eerke Boiten, Howard Bowman, John Derrick, Maarten Steen
    Pages 644-664
  27. Michel Charpentier
    Pages 665-684
  28. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site