 |
Conference papers
Formal Specification and Automated Verification of Railway Software with Frama-C
Abstract : —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 traditional unit testing.
Cited literature [20 references]
https://hal-cea.archives-ouvertes.fr/cea-01835639
Contributor : Virgile Prevosto Connect in order to contact the contributor
Submitted on : Wednesday, July 11, 2018 - 3:29:57 PM
Last modification on : Monday, December 13, 2021 - 9:14:59 AM
Long-term archiving on: : Saturday, October 13, 2018 - 6:22:24 AM
Contributor : Virgile Prevosto Connect in order to contact the contributor
Submitted on : Wednesday, July 11, 2018 - 3:29:57 PM
Last modification on : Monday, December 13, 2021 - 9:14:59 AM
Long-term archiving on: : Saturday, October 13, 2018 - 6:22:24 AM
File
paper.pdf
Files produced by the author(s)