Formal methods and tools for industrial critical systems

Alberto Lluch Lafuente*, Anastasia Mavridou

*Corresponding author for this work

Research output: Contribution to journalConference articleResearchpeer-review

19 Downloads (Pure)

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 four properly revised and extended versions of papers that were selected from the 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021).

Original languageEnglish
JournalInternational Journal on Software Tools for Technology Transfer
Volume24
Pages (from-to)973–976
ISSN1433-2779
DOIs
Publication statusPublished - 2022
Event26th International Conference on Formal Methods for
Industrial Critical Systems
- Virtual Event
Duration: 23 Aug 202127 Aug 2021

Conference

Conference26th International Conference on Formal Methods for
Industrial Critical Systems
LocationVirtual Event
Period23/08/202127/08/2021

Keywords

  • Critical systems
  • Formal methods
  • Tools

Fingerprint

Dive into the research topics of 'Formal methods and tools for industrial critical systems'. Together they form a unique fingerprint.

Cite this