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 (Corresponding author)
, Kim G. Larsen
, Dejan Ničković
, Tim A.C. Willemse

Onderzoeksoutput: Bijdrage aan tijdschrift › Editorial › Academic › peer review

12 Citaten (Scopus)

79 Downloads (Pure)

Samenvatting

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

Originele taal-2	Engels
Pagina's (van-tot)	325-330
Aantal pagina's	6
Tijdschrift	International Journal on Software Tools for Technology Transfer
Volume	24
Nummer van het tijdschrift	3
DOI's	https://doi.org/10.1007/s10009-022-00660-4
Status	Gepubliceerd - jun. 2022

Bibliografische nota

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

Financiering

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.

Toegang tot document

10.1007/s10009-022-00660-4

pdfDefinitieve gepubliceerde versie, 220 KBLicentie: TAVERNE

Andere bestanden en links

Link naar publicatie in Scopus

Citeer dit

@article{b6331e9ccb144961816a4dde1372dfab,

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

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 = "Springer",

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.

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

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 - https://www.scopus.com/pages/publications/85127586293

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

Samenvatting

Bibliografische nota

Financiering

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit