2011
Conference article  Restricted

On the adoption of model checking in safety-related software industry

Fantechi Alessandro, Gnesi Stefania

Model Checking  Sistemi safety critical  Verifica formale 

In the last fifteen years, model checking has been applied successfully in the design and verification of many safety related software systems. However, it is not yet routinely adopted in the industry of safety-critical systems. In this paper we introduce the model checking technique and its relations to safety; then we survey the sensible areas of research related to the current and potential industrial application of this technique, exploring the current trends, that in our opinion will bring to a wider adoption of model checking in the next years.

Source: Computer Safety, Reliability, and Security. 30th International Conference, SAFECOMP 2011, pp. 383–396, Naples, Italy, 19-22 September 2011


Metrics



Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:206263,
	title = {On the adoption of model checking in safety-related software industry},
	author = {Fantechi Alessandro and Gnesi Stefania},
	doi = {10.1007/978-3-642-24270-0_28},
	booktitle = {Computer Safety, Reliability, and Security. 30th International Conference, SAFECOMP 2011, pp. 383–396, Naples, Italy, 19-22 September 2011},
	year = {2011}
}