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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-58555-9
  • Copyright Information Springer-Verlag 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
  • About this book