Fabio Tatone. Analysis of a Software Verification about On-Board Train Signalling. Rel. Matteo Sonza Reorda. Politecnico di Torino, Corso di laurea magistrale in Mechatronic Engineering (Ingegneria Meccatronica), 2023