© 2009

Integrated Formal Methods

7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

  • Michael Leuschel
  • Heike Wehrheim
Conference proceedings IFM 2009

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial
      Pages 1-19
    2. Michael Butler
      Pages 20-38
  3. Contributed Papers

    1. Jordi Cabot, Robert Clarisó, Daniel Riera
      Pages 40-55
    2. Peter Y. H. Wong, Jeremy Gibbons
      Pages 56-71
    3. Thang H. Bui, Albert Nymeyer
      Pages 72-87
    4. Jan Stöcker, Frédéric Lang, Hubert Garavel
      Pages 88-102
    5. Robert Colvin, Ian J. Hayes
      Pages 118-135
    6. Frank Zeyda, Ana Cavalcanti
      Pages 151-166
    7. Gwen Salaün, Tevfik Bultan
      Pages 167-182
    8. Eerke Boiten, John Derrick
      Pages 183-199
    9. Sebastian Voss, Maria Sorea, Klaus Echtle
      Pages 200-214
    10. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
      Pages 215-230
    11. Abigail Parisaca Vargas, Ana G. Garis, S. Lizeth Tapia Tarifa, Chris George
      Pages 231-245
    12. Ralf Lämmel, Vadim Zaytsev
      Pages 246-260
    13. Zarrin Langari, Richard Trefler
      Pages 261-276
    14. Osman Hasan, Naeem Abbasi, Sofiène Tahar
      Pages 277-291

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.

The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.


Event-B Model Checking Petri automata case studies component systems constraint satisfaction data refinement divergence formal semantics formal verification logic petri net semantics verification

Editors and affiliations

  • Michael Leuschel
    • 1
  • Heike Wehrheim
    • 2
  1. 1.Institut für InformatikHeinrich-Heine-Universität DüsseldorfDüsseldorfGermany
  2. 2.Fakultät für Elektrotechnik, Informatik und MathematikUniversität PaderbornPaderbornGermany

Bibliographic information