Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Industrial Critical Systems

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Maurice H. ter Beek

    1. ISTI, Consiglio Nazionale delle Ricerche, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dejan Ničković

    1. AIT Austrian Institute of Technology GmbH, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FMICS 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. FMICS 25th Anniversary

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The 2020 Expert Survey on Formal Methods

      • 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
      Download chapter PDF

    2. Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents

      • Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist
      Pages 73-92

    3. Skylines for Symbolic Energy Consumption Analysis

      • Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko van Eekelen
      Pages 93-112

    4. Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers

      • Yanni Kouskoulas, T. J. Machado, Daniel Genin
      Pages 113-129

    5. An Actor-Based Approach for Security Analysis of Cyber-Physical Systems

      • 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
      Download chapter PDF

    2. Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

      • Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
      Pages 151-169

    3. A Formally Verified Plasma Vertical Position Control Algorithm

      • May Wu, Jessie Rosenberg, Nathan Fulton
      Pages 170-188

    4. The First Twenty-Five Years of Industrial Use of the B-Method

      • Michael Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia et al.
      Pages 189-209

    5. A Safety Flasher Developed with the CLEARSY Safety Platform

      • Thierry Lecomte, Bruno Lavaud, Denis Sabatier, Lilian Burdy
      Pages 210-227

  5. Temporal Logic and Model Checking

    1. Front Matter

      Pages 229-229
      Download chapter PDF

    2. Formal Verification of OIL Component Specifications using mCRL2

      • Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse
      Pages 231-251

    3. Temporal-Logic Query Checking over Finite Data Streams

      • Samuel Huang, Rance Cleaveland
      Pages 252-271

    4. Verification of a Failure Management Protocol for Stateful IoT Applications

      • Umar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent
      Pages 272-287

  6. Correction to: Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers

    • Yanni Kouskoulas, T. J. Machado, Daniel Genin
    Pages C1-C1

  7. Correction to: The 2020 Expert Survey on Formal Methods

    • Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol
    Pages C2-C2

  8. Back Matter

    Pages 289-289
    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Industrial Critical Systems

Keywords

About this book

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.

Editors and Affiliations

  • ISTI, Consiglio Nazionale delle Ricerche, Pisa, Italy

    Maurice H. ter Beek

  • AIT Austrian Institute of Technology GmbH, Vienna, Austria

    Dejan Ničković

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation