Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademic

10 Downloads (Pure)


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).
Original languageEnglish
Pages (from-to)127-129
Number of pages3
JournalInternational journal on software tools for technology transfer
Issue number2
Early online date15 Feb 2024
Publication statusPublished - Apr 2024


  • UT-Hybrid-D


Dive into the research topics of 'Formal Methods for Industrial Critical Systems'. Together they form a unique fingerprint.

Cite this