In the railway field, rigorous development processes contribute to implement safe and efficient systems. Railway safety standards recommend the use of formal modelling and verification techniques to guarantee processes' correctness and validate safety requirements. In this paper, we present a methodology framework using formal models to verify moving block systems, which are complex and critical railway signalling systems. This work is performed in the context of the PERFORMINGRAIL European project.