Table of contents

  1. Front Matter
  2. R. J. R. Back, K. Sere
    Pages 1-25
  3. Babak Dehbonei, Fernando Mejia
    Pages 26-34
  4. J. S. Fitzgerald, T. M. Brookes, M. A. Green, P. G. Larsen
    Pages 35-44
  5. Joshua D. Guttman, Dale M. Johnson
    Pages 55-65
  6. Omar Cherkaoui, Nathalie Rico, Alan Bernardi
    Pages 66-82
  7. U. Martin, M. Thomas
    Pages 83-92
  8. Brian Ritchie, Juan Bicarregui, Howard Haughton
    Pages 93-104
  9. Jonathan P. Bowen, Michael G. Hinchey
    Pages 105-117
  10. T. Clement
    Pages 118-133
  11. I. Maung, J. R. Howse, R. J. Mitchell
    Pages 134-153
  12. Morten Elvang-Gøransson, Robert E. Fields
    Pages 175-189
  13. Peter A. Lindsay
    Pages 190-213
  14. Peter Gorm Larsen
    Pages 233-250
  15. Kelvin J. Ross, Peter A. Lindsay
    Pages 251-270
  16. D. J. Duke, M. D. Harrison
    Pages 271-290
  17. J. A. Keane, J. Sa, B. C. Warboys
    Pages 291-305
  18. Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio L. Meira
    Pages 306-325
  19. Tom Mens, Kim Mens, Patrick Steyaert
    Pages 326-345
  20. Andrew C. Storey, Howard P. Haughton
    Pages 346-365
  21. Rodger Collinson
    Pages 381-400
  22. Maurice Naftalin
    Pages 401-420
  23. Matthias Anlauff, Stefan Jähnichen, Martin Simons
    Pages 421-440
  24. Peter D. Mosses, Martin Musicante
    Pages 461-479
  25. Paul Mukherjee
    Pages 480-501
  26. C. O'Halloran
    Pages 502-518
  27. François Erasmy, Emil Sekerinski
    Pages 547-566
  28. Kirsten Mark Hansen
    Pages 582-601
  29. Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard
    Pages 639-658
  30. Farn Wang, Aloysius K. Mok
    Pages 659-680
  31. P. C. Fencott, A. J. Galloway, M. A. Lockyer, S. J. O'Brien, S. Pearson
    Pages 681-702
  32. Back Matter

About these proceedings


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.


Formal Methods Formale Methoden Industrial Software Systems Industrielle Softwaresysteme Refinement Software Development Vienna Development Method (VDM) formal method model checking modeling programming programming language real-time

Bibliographic information

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