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).
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | International Journal on Software Tools for Technology Transfer |
| Vol/bind | 24 |
| Udgave nummer | 3 |
| Sider (fra-til) | 325-330 |
| Antal sider | 6 |
| ISSN | 1433-2779 |
| DOI | |
| Status | Udgivet - jun. 2022 |
Bibliografisk note
Funding Information:We would like to thank all authors for their contributions to this special issue and the reviewers of FMICS 2019 and FMICS 2020, and in particular those of this special issue, for their reviews.
Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.