© 2002

FME 2002:Formal Methods—Getting IT Right

International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

  • Lars-Henrik Eriksson
  • Peter Alexander Lindsay
Conference proceedings FME 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2391)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Natarajan Shankar
    Pages 1-20
  3. Bruno Legeard, Fabien Peureux, Mark Utting
    Pages 21-40
  4. Gil Ratsaby, Baruch Sterin, Shmuel Ur
    Pages 41-56
  5. Juan C. Burguillo-Rial, Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, Martín Llamas-Nistal
    Pages 57-76
  6. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
    Pages 77-88
  7. Juan C. Bicarregui
    Pages 106-125
  8. Niels Jørgensen
    Pages 126-145
  9. Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
    Pages 146-162
  10. Alexandre Mota, Paulo Borba, Augusto Sampaio
    Pages 163-183
  11. Thomas Arts, Clara Benac Earle, John Derrick
    Pages 184-203
  12. Michael Huber, Steve King
    Pages 204-223
  13. Darko Marinov, Sarfraz Khurshid
    Pages 234-251

About these proceedings


This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe ( is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was “Formal Methods: Getting IT Right”. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.


Bisimulation Java Card OCL UML Variable algorithm algorithms formal method formal methods formal specification logic model checking program analysis programming calculi programming logic

Editors and affiliations

  • Lars-Henrik Eriksson
    • 1
  • Peter Alexander Lindsay
    • 2
  1. 1.Department of Information TechnologyUppsala University751 05UppsalaSweden
  2. 2.Software Verification Research CentreThe University of QueenslandQueenslandAustralia

Bibliographic information

Industry Sectors
IT & Software