Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Voellinger. Formal specification and automated verification of railway software with Frama-C. In 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013. pages 710-715, IEEE, 2013. [doi]
Abstract is missing.