Formal Methods for Industrial Critical Systems

被引：0

作者：

Groote, Jan Friso ^{[1
]}

Huisman, Marieke ^{[2
]}

机构：

[1] Eindhoven Univ Technol, POB 513, NL-5600 MB Eindhoven, Netherlands

[2] Univ Twente, POB 217, NL-7500 AE Enschede, Netherlands

来源：

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 2024年 / 26卷 / 02期

关键词：

Deductive verification; Smart contracts; Interactive validation; Spatio-temporal logics; Autonomous driving; Avionic software; Monotony analysis stochastic specifications; Real-time operating systems;

D O I：

10.1007/s10009-024-00744-3

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

To stimulate the development and application of formal methods in industry, we need to promote research and development for the improvement of formal methods and tools for industrial applications, and we need to exchange experiences of the industrial usage of these methods and tools. This special issue of Software Tools for Technology Transfer presents various tools and experience reports that are targeting the use of formal methods in industry. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022).

引用

页码：127 / 129

页数：3

共 50 条

[21] Formal methods and automated verification of critical systems
Maurice H. ter Beek
Stefania Gnesi
Alexander Knapp
International Journal on Software Tools for Technology Transfer, 2018, 20 : 355 - 358
[22] Formal methods and automated verification of critical systems
ter Beek, Maurice H.
Gnesi, Stefania
Knapp, Alexander
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 355 - 358
[23] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
MCARTHUR, N
CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
[24] FMICS'23 - 28th International Conference on Formal Methods for Industrial Critical Systems
ter Beek, Maurice
ERCIM NEWS, 2023, (135): : 6 - 6
[25] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
Cofer, Darren
Fantechi, Alessandro
Leue, Stefan
Merino, Pedro
SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (02) : 63 - 64
[26] FMICS 2006 - 11th International Workshop on Formal Methods for Industrial Critical Systems
Brim, Lubos
Leucker, Martin
ERCIM NEWS, 2006, (67): : 9 - 9
[27] FMISC 2007 - 12th International Workshop on Formal Methods for Industrial Critical Systems
不详
ERCIM NEWS, 2007, (69): : 64 - 65
[28] FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Cofer, Darren
Fantechi, Alessandro
ERCIM NEWS, 2008, (75): : 11 - 11
[29] Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009+FMICS 2010)
Alpuente, Maria
SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (07) : 775 - 777
[30] Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)
Salauen, Gwen
Schaetz, Bernhard
SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 107 - 108

← 1 2 3 4 5 →