Table of contents

  1. Front Matter
  2. Antonio Cau, Willem-Paul de Roever
    Pages 19-41
  3. Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau
    Pages 52-63
  4. Gonzalo León, Juan C. Yelmo, Carlos Sánchez, F. Javier Carrasco, Juan J. Gil
    Pages 83-92
  5. Ing Widya, Gert-Jan van der Heijden
    Pages 93-109
  6. Geoff Barrett
    Pages 129-147
  7. Juan Bicarregui
    Pages 148-161
  8. Naïma Brown, Dominique Mery
    Pages 196-215
  9. Dan Craigen, Susan Gerhart, Ted Ralston
    Pages 250-267
  10. Guillaume Doumenc, Jean-Francois Monin
    Pages 285-293
  11. Kai Engelhardt, Willem-Paul de Roever
    Pages 294-313
  12. Colin Fidge
    Pages 314-331
  13. Joachim Fischer, Andreas Prinz, Andreas Vogel
    Pages 332-350
  14. Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel
    Pages 351-366
  15. Anne Haxthausen, Chris George
    Pages 367-387
  16. H. B. M. Jonkers
    Pages 403-427
  17. M. R. K. Krishna Rao, P. K. Pandya, R. K. Shyamasundar
    Pages 442-461
  18. Sam Owre, John Rushby, Natarajan Shankar, Friedrich von Henke
    Pages 482-500
  19. Graeme I. Parkin, Brian Wichmann
    Pages 501-520
  20. Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot
    Pages 521-540
  21. Fiona Polack, Mark Whiston, Keith Mander
    Pages 541-557
  22. Kelvin J. Ross, Peter A. Lindsay
    Pages 558-577
  23. Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
    Pages 578-596
  24. Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto
    Pages 597-616
  25. Anthony W. van der Vloedt, Kees Bogaards
    Pages 617-631
  26. Farn Wang, Aloysius Mok, E. Allen Emerson
    Pages 632-651
  27. Debora Weber-Wulff
    Pages 671-678
  28. Pages 679-689
  29. Back Matter

About these proceedings


The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.


Formal Methods Formale Methoden Object-Orientation Petri Nets Petri-Netze Refinement Calculus Vienna Development Method (VDM) design formal method hardware real-time

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56662-5
  • Online ISBN 978-3-540-47623-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site