Formal methods and tools for industrial critical systems

Maurice H. ter Beek; Kim G. Larsen; Dejan Ničković; Tim A.C. Willemse

doi:10.1007/s10009-022-00660-4

Formal methods and tools for industrial critical systems

Maurice H. ter Beek^*, Kim G. Larsen, Dejan Ničković, Tim A.C. Willemse

^*Corresponding author for this work

Research output: Contribution to journal › Editorial › peer-review

11 Citations (Scopus)

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).

Original language	English
Journal	International Journal on Software Tools for Technology Transfer
Volume	24
Issue number	3
Pages (from-to)	325-330
Number of pages	6
ISSN	1433-2779
DOIs	https://doi.org/10.1007/s10009-022-00660-4
Publication status	Published - Jun 2022

Bibliographical note

Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.

Keywords

Critical systems
Formal methods
Tools

Access to Document

10.1007/s10009-022-00660-4

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{8597cc7d2740431b87554a08c4752cc6,

title = "Formal methods and tools for industrial critical systems",

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).",

keywords = "Critical systems, Formal methods, Tools",

author = "{ter Beek}, {Maurice H.} and Larsen, {Kim G.} and Dejan Ni{\v c}kovi{\'c} and Willemse, {Tim A.C.}",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.",

year = "2022",

month = jun,

doi = "10.1007/s10009-022-00660-4",

language = "English",

volume = "24",

pages = "325--330",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Physica-Verlag",

number = "3",

}

TY - JOUR

T1 - Formal methods and tools for industrial critical systems

AU - ter Beek, Maurice H.

AU - Larsen, Kim G.

AU - Ničković, Dejan

AU - Willemse, Tim A.C.

PY - 2022/6

Y1 - 2022/6

N2 - 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).

AB - 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).

KW - Critical systems

KW - Formal methods

KW - Tools

UR - http://www.scopus.com/inward/record.url?scp=85127586293&partnerID=8YFLogxK

U2 - 10.1007/s10009-022-00660-4

DO - 10.1007/s10009-022-00660-4

M3 - Editorial

AN - SCOPUS:85127586293

SN - 1433-2779

VL - 24

SP - 325

EP - 330

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 3

ER -

Formal methods and tools for industrial critical systems

Abstract

Bibliographical note

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this