Validation of Railway Interlocking Systems by Formal Verification, A Case Study.

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani

Browse the full SEFM paper archive.