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
  6. Safety and Liveness

    1. Front Matter
      Pages 243-243
    2. Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne et al.
      Pages 275-291
  7. Model Learning

    1. Front Matter
      Pages 293-293
    2. Petra van den Bos, Rick Smetsers, Frits Vaandrager
      Pages 295-310
    3. Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
      Pages 326-341
  8. SAT and SMT Solving

    1. Front Matter
      Pages 343-343
    2. Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
      Pages 345-360
    3. Sebastian Krings, Michael Leuschel
      Pages 361-375 Open Access
    4. Andrii Kovalov, Juliana Küster Filipe Bowles
      Pages 376-390
  9. Testing

    1. Front Matter
      Pages 391-391
    2. Adrián Riesco, Juan Rodríguez-Hortalá
      Pages 393-408
    3. Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
      Pages 409-424
    4. Renáta Hodován, Ákos Kiss
      Pages 425-438
  10. Theorem Proving and Constraint Satisfaction

    1. Front Matter
      Pages 439-439
    2. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
      Pages 441-456
    3. Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko
      Pages 474-488
  11. Case Studies

    1. Front Matter
      Pages 489-489
    2. Bjørnar Luteberget, Christian Johansen, Martin Steffen
      Pages 491-507
    3. Dániel Darvas, István Majzik, Enrique Blanco Viñuela
      Pages 508-522
    4. Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal
      Pages 523-536
  12. Back Matter
    Pages 537-538

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

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-33692-3
  • Online ISBN 978-3-319-33693-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment