Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

  • Brijesh Dongol
  • Elena Troubitsyna
Conference proceedings IFM 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xi
  2. Integrating Machine Learning and Formal Modelling

    1. Front Matter
      Pages 1-1
    2. Bharat Garhewal, Frits Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits
      Pages 22-40
    3. Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler
      Pages 41-59
  3. Modelling and Verification in B and Event-B

    1. Front Matter
      Pages 61-61
    2. Michael Leuschel
      Pages 63-81
    3. Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj K. Singh
      Pages 82-102
    4. Sanjeevan Sritharan, Thai Son Hoang
      Pages 103-120
  4. Program Analysis and Testing

    1. Front Matter
      Pages 121-121
    2. Laura Titolo, Mariano Moscato, Marco A. Feliu, César A. Muñoz
      Pages 141-159
    3. Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman
      Pages 160-177
  5. Verification of Interactive Behaviour

    1. Front Matter
      Pages 179-179
    2. Ludovic Henrio, Einar Broch Johnsen, Violet Ka I. Pun
      Pages 181-198
    3. Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
      Pages 199-217
    4. Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
      Pages 218-236
  6. Formal Verification

  7. Static Analysis

    1. Front Matter
      Pages 295-295
    2. Stella Simić, Alberto Bemporad, Omar Inverso, Mirco Tribastone
      Pages 318-336
    3. Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre
      Pages 337-345
  8. Domain-Specific Approaches

    1. Front Matter
      Pages 347-347
    2. Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt
      Pages 368-386
    3. Stéphane Jacquet, Sylvain Hallé
      Pages 387-394
  9. Algebraic Techniques

    1. Front Matter
      Pages 395-395
    2. Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi
      Pages 397-418
    3. Safouan Taha, Burkhart Wolff, Lina Ye
      Pages 419-439
    4. Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
      Pages 440-459
  10. Back Matter
    Pages 461-461

About these proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.

The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.


theory of computation software and its engineering semantics and reasoning design and analysis of algorithms models of computation theory and algorithms for application domains architecting architecture verification and validation computer hardware computer programming embedded systems formal logic mathematics model checking software architecture software design software quality theoretical computer science verification validation

Editors and affiliations

  1. 1.University of SurreyGuildfordUK
  2. 2.Royal Institute of Technology - KTHStockholmSweden

Bibliographic information