Automated Parameterized Verification of a Railway Protection System with Dafny.

Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidstrm, Gianluca Redondi, Giuseppe Scaglione, Matteo Tessi, Dylan Trenti

Browse the full CAV paper archive.