Document - Formal methods and tools for industrial critical systems

2022

Journal article Open Access

Formal methods and tools for industrial critical systems

Ter Beek M. H., Larsen K. G., Nickovic D., Willemse T. A. C.

Formal methods Tools Critical systems

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).

Source: International journal on software tools for technology transfer (Internet) 24 (2022): 325–330. doi:10.1007/s10009-022-00660-4

Publisher: Springer, Berlin , Germania

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:466012,
	title = {Formal methods and tools for industrial critical systems},
	author = {Ter Beek M. H. and Larsen K. G. and Nickovic D. and Willemse T. A. C.},
	publisher = {Springer, Berlin , Germania},
	doi = {10.1007/s10009-022-00660-4},
	journal = {International journal on software tools for technology transfer (Internet)},
	volume = {24},
	pages = {325–330},
	year = {2022}
}