Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S. On the adoption of model checking in safety-related software industry. In: SAFECOMP 2011 - Computer Safety, Reliability, and Security. 30th International Conference (Naples, Italy, 19-22 September 2011). Proceedings, pp. 383 - 396. Francesco Flammini, Sandro Bologna, Valeria Vittorini (eds.). (Lecture Notes in Computer Science, vol. 6894). Springer, 2011.
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.
URL: http://www.springerlink.com/content/3030628134507122/
DOI: 10.1007/978-3-642-24270-0_28
Subject Model Checking
Verifica formale,
Sistemi safety critical
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional