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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-00255-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-00254-0
  • Online ISBN 978-3-642-00255-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349