Formal methods and tools for industrial critical systems
Formal methods and tools for industrial critical systems
复制标题
工业关键系统的正式方法和工具
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
T. Willemse
中科院分区：
文献类型：
--
作者：
Maurice H. ter Beek;K. Larsen;D. Ničković;T. Willemse
形式化的方法和工具已经得到了很好的建立和广泛的应用，以确保铁路，航空电子和汽车等领域的工业关键系统的基本组件的正确性。在这篇特刊的介绍中，我们概述了一些关于使用形式化方法和工具来规范和验证来自各种工业领域的关键系统的最新成就。这些成就体现在第24届和第25届工业关键系统正式方法国际会议（FMICS 2019和FMICS 2020）中选出的八篇经过适当修订和扩展的论文中。
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).