Prover Technology
Prover Technology is a Swedish provider of formal methods and digital twin software for railway signaling, headquartered in Stockholm and privately owned by its investors and staff.
Prover’s signaling design automation suite includes Prover Trident, Prover iLock, and Prover Certifier, covering interlocking application development and CENELEC SIL 4 safety sign-off.
For each signaling project, Prover builds an executable digital twin of the existing, future, or conceptual interlocking system, using formal specifications and automated simulation to test the design before deployment.
Prover Extractor supports this process by reading and analyzing legacy circuit diagrams, allowing older relay-based systems to be converted into digital twins without manual re-engineering. The resulting models are used for design validation, safety verification, and stepwise migration planning, rather than for visual or predictive-maintenance purposes.
Market position
Prover holds ISO 9001 certification for its quality management system. Its Prover Certifier tool is approved by TÜV NORD as a CENELEC EN 50128 and EN 50716-compliant T2 tool for SIL 4 applications, the highest safety integrity level in railway signaling standards.
Customers include Trafikverket, RATP, Infrabel, and Stockholm’s public transport operator SL, alongside signaling suppliers such as Alstom, Siemens, and Thales.
Prover is headquartered in Stockholm, is also present in France, the United States, Algeria, and China, and describes customers in more than 25 countries.
The company participates in industry bodies including UNIFE and IEEE, and hosts an annual Signaling Design Automation Forum in Stockholm.
Current activity
Since 2024, Prover has acted as a subcontractor to Cactus Rail on a traffic management system (TMS) project for the Stockholm Metro, covering 62 stations across the network’s Red and Blue lines.
The project replaces mechanical operator panels and non-vital relay logic with a computerized TMS and PLC-based control, while vital relay interlockings remain in place for safety-critical functions.
Prover’s role centers on building digital twins of the existing vital relay interlockings across the affected stations, using Prover Extractor to convert circuit diagrams into digital models.
These digital twins support simulation of the new system’s behavior and generation of verified PLC logic ahead of physical deployment.
An earlier, related engagement with Stockholm Metro between 2021 and 2022 used the same digital-twin approach to validate the feasibility of replacing non-vital relays with a PLC system, ahead of the current TMS rollout.
Prover has also worked with Trafikverket to formalize national signaling regulations into machine-readable requirements, and has more recently launched an Open Signaling Initiative aimed at reducing vendor lock-in in modular signaling architectures.
