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

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 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
  • About this book