Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of industrial critical systems in domains like railways, avionics and automotive. In this Introduction to the special issue, we outline a number of recent achievements concerning the use of formal methods and tools for the specification and verification of critical systems from a variety of industrial domains. These achievements are represented by eight properly revised and extended versions of papers that were selected from the 24th and 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019 and FMICS 2020).
Formal methods and tools for industrial critical systems
ter Beek MH;
2022
Abstract
Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of industrial critical systems in domains like railways, avionics and automotive. In this Introduction to the special issue, we outline a number of recent achievements concerning the use of formal methods and tools for the specification and verification of critical systems from a variety of industrial domains. These achievements are represented by eight properly revised and extended versions of papers that were selected from the 24th and 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019 and FMICS 2020).File | Dimensione | Formato | |
---|---|---|---|
prod_466012-doc_183110.pdf
Open Access dal 04/04/2023
Descrizione: Preprint - Formal methods and tools for industrial critical systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
314.42 kB
Formato
Adobe PDF
|
314.42 kB | Adobe PDF | Visualizza/Apri |
prod_466012-doc_183810.pdf
Open Access dal 04/04/2023
Descrizione: Formal methods and tools for industrial critical systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
219.59 kB
Formato
Adobe PDF
|
219.59 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.