Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

  • Maurice H. ter Beek
  • Annabelle McIver
  • José N. Oliveira
Conference proceedings FM 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Invited Presentations

    1. Front Matter
      Pages 1-1
    2. Shriram Krishnamurthi, Tim Nelson
      Pages 3-10
  3. Verification

    1. Front Matter
      Pages 19-19
    2. Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz
      Pages 21-37
    3. Joachim Bard, Heiko Becker, Eva Darulova
      Pages 38-44
    4. Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
      Pages 45-63
    5. Frank S. de Boer, Marcello Bonsangue
      Pages 64-80
  4. Synthesis Techniques

    1. Front Matter
      Pages 81-81
    2. Gal Amram, Shahar Maoz, Or Pistiner
      Pages 83-100
    3. Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
      Pages 101-120
    4. Bjørnar Luteberget, Christian Johansen, Martin Steffen
      Pages 121-137
    5. Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
      Pages 138-157
  5. Concurrency

    1. Front Matter
      Pages 159-159
    2. Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu
      Pages 161-178
    3. John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
      Pages 179-195
    4. Frédéric Lang, Radu Mateescu, Franco Mazzanti
      Pages 196-213
  6. Model Checking Circus

    1. Front Matter
      Pages 215-215
    2. Artur Oliveira Gomes, Andrew Butterfield
      Pages 217-234
    3. Artur Oliveira Gomes, Andrew Butterfield
      Pages 235-242
  7. Model Checking

    1. Front Matter
      Pages 243-243
    2. Simon Jantsch, David Müller, Christel Baier, Joachim Klein
      Pages 262-279
    3. Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
      Pages 280-297
    4. Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
      Pages 298-315
  8. Analysis Techniques

    1. Front Matter
      Pages 317-317
    2. Dominic Steinhöfel, Reiner Hähnle
      Pages 319-336
    3. Abhishek Singh, Rekha Pai, Deepak D’Souza, Meenakshi D’Souza
      Pages 337-353
    4. Simon Lunel, Stefan Mitsch, Benoit Boyer, Jean-Pierre Talpin
      Pages 354-370
    5. Yong Kiam Tan, André Platzer
      Pages 371-388
    6. Dina Irofti, Paul Dubrulle
      Pages 389-405
    7. Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
      Pages 406-424
    8. Alexandros Evangelidis, David Parker
      Pages 425-441
    9. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
      Pages 442-461
  9. Specification Languages

    1. Front Matter
      Pages 463-463
    2. Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira
      Pages 484-501
    3. Andrei Arusoaie, Dorel Lucanu
      Pages 502-518
    4. Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
      Pages 519-535
  10. Reasoning Techniques

    1. Front Matter
      Pages 537-537
    2. Graeme Smith, Nicholas Coughlin, Toby Murray
      Pages 539-555
    3. Jon Haël Brenas, Rachid Echahed, Martin Strecker
      Pages 556-572
    4. Lennart Beringer, Andrew W. Appel
      Pages 573-590
  11. Modelling Languages

    1. Front Matter
      Pages 591-591
    2. Theodoros Kasampalis, Dwight Guth, Brandon Moore, Traian Florin Șerbănuță, Yi Zhang, Daniele Filaretti et al.
      Pages 593-610
    3. Diego Marmsoler, Genc Blakqori
      Pages 611-630
  12. Learning-Based Techniques and Applications

    1. Front Matter
      Pages 631-631
    2. Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
      Pages 651-669

Other volumes

  1. Formal Methods – The Next 30 Years
    Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
  2. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
  3. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

About these proceedings


This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.

The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.





architecture artificial intelligence computer architecture computer programming data security databases formal logic formal methods formal verifications model checking problem solving programming languages semantics software engineering software evaluation specifications theorem proving verification

Editors and affiliations

  1. 1.Consiglio Nazionale delle RicerchePisaItaly
  2. 2.Macquarie UniversitySydneyAustralia
  3. 3.University of MinhoBragaPortugal

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment