© 2020

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

  • Maurice H. ter Beek
  • Dejan Ničković
Conference proceedings FMICS 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xxii
  2. FMICS 25th Anniversary

    1. Front Matter
      Pages 1-1
    2. Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol
      Pages 3-69
  3. Quantitative Analysis and Cyber-Physical Systems

    1. Front Matter
      Pages 71-71
    2. Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist
      Pages 73-92
    3. Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko van Eekelen
      Pages 93-112
    4. Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Čaušević, Marjan Sirjani, Carolyn Talcott
      Pages 130-147
  4. Formal Verification of Industrial Systems

    1. Front Matter
      Pages 149-149
    2. Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
      Pages 151-169
    3. May Wu, Jessie Rosenberg, Nathan Fulton
      Pages 170-188
    4. Michael Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia et al.
      Pages 189-209
    5. Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
      Pages 210-227
  5. Temporal Logic and Model Checking

    1. Front Matter
      Pages 229-229
    2. Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
      Pages 231-251
    3. Samuel Huang, Rance Cleaveland
      Pages 252-271
    4. Umar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent
      Pages 272-287
  6. Back Matter
    Pages 289-289

About these proceedings


This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.

The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.

The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.


architecture verification and validation Cyber-Physical Systems embedded systems formal methods Formal Specification Industrial-Critical Systems Internet of Things mobile robots model checking Model Checking Probabilistic Systems Quantitative Analysis Reinforcement Learning signal processing software architecture software design software engineering Synthesis, Security Temporal Logic Tools , Survey, Games

Editors and affiliations

  1. 1.ISTI, Consiglio Nazionale delle RicerchePisaItaly
  2. 2.AIT Austrian Institute of Technology GmbHViennaAustria

Bibliographic information