Formal Methods for Industrial Critical Systems
International Journal on Software Tools for Technology Transfer(2024)
Abstract
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).
MoreTranslated text
Key words
Deductive verification,Smart contracts,Interactive validation,Spatio-temporal logics,Autonomous driving,Avionic software,Monotony analysis stochastic specifications,Real-time operating systems
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined