Formal specification and automated verification of railway software with Frama-C

Autor: Kim Voellinger, Kerstin Hartig, Hans Pohl, Jochen Burghardt, Virgile Prevosto, Jens Gerlach

Publikováno v: INDIN
IEEE International Conference on Industrial Informatics-INDIN
IEEE International Conference on Industrial Informatics-INDIN, Jul 2013, Bochum, France
HAL

International audience; —This paper presents the use of the Frama-C toolkit for the formal verification of a model of train-controlling software against the requirements of the CENELEC norm EN 50128. We also compare our formal approach with traditi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7be18122aab8038d4d1208d6e8621de5
https://doi.org/10.1109/indin.2013.6622971