© 2013

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

  • Einar Broch Johnsen
  • Luigia Petre
Conference proceedings IFM 2013

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

Table of contents

  1. Front Matter
  2. Invited Paper 1

    1. Refinement, Integration, Translation

      1. Simon Hudon, Thai Son Hoang
        Pages 16-30
      2. Kenneth Lausdahl
        Pages 46-60
      3. Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
        Pages 61-76
  3. Invited Paper 2

    1. Verification

      1. Murat Moran, James Heather, Steve Schneider
        Pages 94-108
      2. Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane
        Pages 109-123
      3. Frédéric Gava, Jean Fortin, Michael Guedj
        Pages 124-138
      4. Daisuke Ishii, Guillaume Melquiond, Shin Nakajima
        Pages 139-153
  4. Invited Paper 3

    1. Kim Guldstrand Larsen
      Pages 154-161
    2. Reachability and Model Checking

      1. Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
        Pages 162-176
      2. Andreas Morgenstern, Manuel Gesell, Klaus Schneider
        Pages 177-191
      3. Fu Song, Tayssir Touili
        Pages 192-207
      4. Dominique Méry, Michael Poppleton
        Pages 208-222
    3. Usability and Testing

      1. Aymerick Savary, Marc Frappier, Jean-Louis Lanet
        Pages 223-237
      2. Rimvydas Rukšėnas, Paul Curzon, Michael D. Harrison
        Pages 238-252
      3. Ramsay Taylor, Kirill Bogdanov, John Derrick
        Pages 253-267
    4. Distributed Systems

      1. Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
        Pages 268-284

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013.
The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.


complex systems distributed algorithms hybrid automata model-based testing state machines

Editors and affiliations

  • Einar Broch Johnsen
    • 1
  • Luigia Petre
    • 2
  1. 1.Department of InformaticsUniversity of OsloOsloNorway
  2. 2.Department of Information TechnologiesÅbo Akademi UniversityTurkuFinland

Bibliographic information