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

DOI: 10.1007/3-540-45614-7

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

Table of contents (34 papers)

  1. Front Matter
    Pages I-XI
  2. Little Engines of Proof
    Natarajan Shankar
    Pages 1-20
  3. Automated Boundary Testing from Z and B
    Bruno Legeard, Fabien Peureux, Mark Utting
    Pages 21-40
  4. Improvements in Coverability Analysis
    Gil Ratsaby, Baruch Sterin, Shmuel Ur
    Pages 41-56
  5. Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study
    Juan C. Burguillo-Rial, Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, Martín Llamas-Nistal
    Pages 57-76
  6. UniTesK Test Suite Architecture
    Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
    Pages 77-88
  7. Do Not Read This
    Juan C. Bicarregui
    Pages 106-125
  8. Safeness of Make-Based Incremental Recompilation
    Niels Jørgensen
    Pages 126-145
  9. An Algorithmic Approach to Design Exploration
    Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
    Pages 146-162
  10. Mechanical Abstraction of CSPZ Processes
    Alexandre Mota, Paulo Borba, Augusto Sampaio
    Pages 163-183
  11. Verifying Erlang Code: A Resource Locker Case-Study
    Thomas Arts, Clara Benac Earle, John Derrick
    Pages 184-203
  12. Towards an Integrated Model Checker for Railway Signalling Data
    Michael Huber, Steve King
    Pages 204-223
  13. VAlloy — Virtual Functions Meet a Relational Language
    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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43928-8
  • Online ISBN 978-3-540-45614-8
  • Series Print ISSN 0302-9743