Application of Verification Methods to Specifications of Signalling Equipment

Formal methods has been expected to increase the reliability of software, including that of signalling systems. In order to further the use of formal methods in the railway signalling domain, it would be beneficial to show examples of models of various signalling equipment using formal methods. As some examples, the...