Formal methods and tools for industrial critical systems

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

Full description

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer 2022-06, Vol.24 (3), p.325-330
Main Authors: ter Beek, Maurice H., Larsen, Kim G., Ničković, Dejan, Willemse, Tim A. C.
Format: Article
Language:English
Subjects:
Automation
Avionics
Computer Science
Domains
Formal method
Introduction
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Trains
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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).
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-022-00660-4