Case Studies

Prover Technology provides software products and services for development and V&V of railway signaling systems. The customer base includes railway infrastructure managers and railway signaling system suppliers around the world. This page provides a few case studies of customer projects.

Formal safety verification of relay-based interlocking systems
Formal safety verification of computer-based interlocking systems