Integrated Formal Methods

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

  • Erika Ábrahám
  • Marieke Huisman
Part of the Lecture Notes in Computer Science book series (LNCS, 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

Introduction

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. 

Keywords

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 https://doi.org/10.1007/978-3-319-33693-0
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-33692-3
  • Online ISBN 978-3-319-33693-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book