© 2016

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

  • Erika Ábrahám
  • Marieke Huisman
Conference proceedings IFM 2016

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9681)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Contributions

    1. Front Matter
      Pages 1-1
    2. Martin Hentschel, Reiner Hähnle, Richard Bubel
      Pages 3-19
    3. Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber
      Pages 28-44
  3. Program Verification

    1. Front Matter
      Pages 45-45
    2. Ferruccio Damiani, Michael Lienhardt
      Pages 47-62
    3. Leo Freitas, James Baxter, Ana Cavalcanti, Andy Wellings
      Pages 63-78 Open Access
    4. Michael Ameri, Carlo A. Furia
      Pages 79-95
  4. Probabilistic Systems

    1. Front Matter
      Pages 97-97
    2. Pedro R. D’Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
      Pages 99-114
    3. Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost
      Pages 115-129
    4. Ľuboš Korenčiak, Vojtěch Řehák, Adrian Farmadin
      Pages 130-138
  5. Concurrency

    1. Front Matter
      Pages 139-139
    2. Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
      Pages 141-159
    3. Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
      Pages 193-209
    4. Matt Luckcuck, Ana Cavalcanti, Andy Wellings
      Pages 226-241

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.
The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies. 


decision procedures hybrid systems model checking program synthesis semantics abstractions and refinement component-based systems formal methods formal modelling monitoring performance evaluation program verification runtime analysis sat solving semi-formal modelling smt solving software engineering software verification static analysis

Editors and affiliations

  • Erika Ábrahám
    • 1
  • Marieke Huisman
    • 2
  1. 1.RWTH Aachen UniversityAachenGermany
  2. 2.University of TwenteEnschedeThe Netherlands

Bibliographic information