Skip to main content
  • Conference proceedings
  • © 2021

Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

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

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

Conference series link(s): FMICS: International Conference on Formal Methods for Industrial Critical Systems

Conference proceedings info: FMICS 2021.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-85248-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (16 papers)

  1. Front Matter

    Pages i-xii
  2. Verification

    1. Front Matter

      Pages 1-1
    2. Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

      • Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock
      Pages 3-20
    3. Automated Verification of Temporal Properties of Ladder Programs

      • Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
      Pages 21-38
    4. Spatial Model Checking for Smart Stations

      • Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio O. Spagnolo
      Pages 39-47
  3. Program Safety and Education

    1. Front Matter

      Pages 49-49
    2. Modular Transformation of Java Exceptions Modulo Errors

      • Robert Rubbens, Sophie Lathouwers, Marieke Huisman
      Pages 67-84
  4. (Event-)B Modeling and Validation

    1. Front Matter

      Pages 105-105
    2. Standard Conformance-by-Construction with Event-B

      • Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
      Pages 126-146
  5. Formal Analysis

    1. Front Matter

      Pages 147-147
    2. Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

      • Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
      Pages 149-166
    3. Verifying the Mathematical Library of an UAV Autopilot with Frama-C

      • Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
      Pages 167-173
    4. Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer

      • Davide Basile, Alessandro Fantechi, Irene Rosadi
      Pages 174-190
  6. Tools

    1. Front Matter

      Pages 191-191
    2. ProB2-UI: A Java-Based User Interface for ProB

      • Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu et al.
      Pages 193-201
    3. Merit and Blame Assignment with Kind 2

      • Daniel Larraz, Mickaël Laurent, Cesare Tinelli
      Pages 212-220

Other Volumes

  1. Formal Methods for Industrial Critical Systems

    26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

About this book

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.

The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.

Keywords

  • architecture verification and validation
  • artificial intelligence
  • computer hardware
  • computer programming
  • embedded systems
  • field programmable gate array
  • formal languages
  • formal logic
  • formal methods
  • FPGA
  • fuzzy sets
  • model checking
  • object-oriented programming
  • signal processing
  • software architecture
  • software design
  • software engineering

Editors and Affiliations

  • Technical University of Denmark, Kongens Lyngby, Denmark

    Alberto Lluch Lafuente

  • KBR/NASA Ames Research Center, Moffett Field, USA

    Anastasia Mavridou

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-85248-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)