Prover Technology

Railway Control and Signalling Systems

What’s the Point of Formal Methods?

Prover Technology

Railway signalling systems are surprisingly expensive to produce. Formal methods have emerged as a way to cut costs and increase safety at the same time. Why did this happen, and what have been achieved so far?

Download this free white paper to find out more.

Available Downloads