Prover Technology AB
Railway infrastructure managers need new rail control systems to support increased traffic capacity. Existing legacy systems are replaced with new, digital rail control to reduce headway and conform to interoperability standards such as ERTMS and CBTC. This is where Prover plays a part. Prover provides software automation solutions that increase the capacity for delivering software for new and more complex digital train control, and meeting demand on improved safety for today’s more complex digital rail control.
Prover's product offering includes the Prover Trident solution, based on specification in the PiSPEC language, application engineering with the Prover iLock tool suite, and formal safety verification with Prover Certifier. Formal verification gives 100% coverage of safety requirements, by automated mathematical proofs.
Infrarail Product Categories
- Signalling/Train Control Systems
- Computer Aided Design
- Design Services