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

Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Vllinger

Browse the full INDIN paper archive.