© 2002

Integrated Formal Methods

Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

  • Michael Butler
  • Luigia Petre
  • Kaisa Sere
Conference proceedings IFM 2002

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talk: Eran Gery

    1. Eran Gery, David Harel, Eldad Palachi
      Pages 1-10
  3. Integration, Simulation, Animation

    1. Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski
      Pages 11-28
    2. Natalia López, Manuel Núñez, Fernando Rubio
      Pages 29-48
  4. From Specifcation to Verifcation

    1. V. A. Nepomniaschy, N. V. Shilov, E. V. Bodin, V. E. Kozura
      Pages 69-88
    2. Mohammad Zulkernine, Rudolph E. Seviora
      Pages 89-108
  5. Statecharts and B: Integration and Translation

    1. Hung Ledang, Jeanine Souquières
      Pages 109-127
    2. Emil Sekerinski, Rafik Zurob
      Pages 128-144
  6. Invited Talk: Shmuel Katz

    1. Shmuel Katz, Orna Grumberg
      Pages 145-164
  7. Model Checkers and Theorem Provers

    1. Kirsten Winter, Roger Duke
      Pages 165-184
    2. Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar
      Pages 185-204
    3. Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
      Pages 205-224
  8. Links between Object-Z and CSP

    1. Christie Bolton, Jim Davies
      Pages 225-244
    2. Jochen Hoenicke, Ernst-Rüdiger Olderog
      Pages 245-266
  9. Invited Talk: Stuart Kent

    1. Stuart Kent
      Pages 286-298
  10. Combining Graphical and Formal Approaches

    1. Phillip J. Brooke, Richard F. Paige
      Pages 299-318
    2. Einar B. Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
      Pages 319-338
    3. Katerina Korenblat, Orna Grumberg, Shmuel Katz
      Pages 339-359

About these proceedings


The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal methods and graphical notations, especially the industrialstandardlanguageforsoftwaredesign,theUni?edModelingLanguage (UML). The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computerscientistshavedevelopedarangeofformalismsfocusing on particular aspects of behavior or analysis, such as sequential program str- tures,concurrentprogramstructures,dataandinformationstructures,temporal reasoning, deductive proof, and model checking. Much e?ort is now being - voted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance ofprovidingthesewiththeformalunderpinningsandformalanalysiscapabilities found in formal methods.


Simulation Unified Modeling Language (UML) algorithm algorithms design distributed systems formal method model checking modeling petri net real-time semantics system development verification

Editors and affiliations

  • Michael Butler
    • 1
  • Luigia Petre
    • 2
  • Kaisa Sere
    • 3
  1. 1.Department of Electronics and Computer Science Declarative Systems and Software EngineeringUniversity of SouthamptonHighfieldUK
  2. 2.Turku Centre for Computer ScienceTurkuFinland
  3. 3.Department of Computer ScienceÅbo Akademi UniversityTurkuFinland

Bibliographic information