Engineering a safer worldProver® Technology - is a world leader in formal methods and formal verification for safety critical systems. We provide solutions for interlocking design automation that radically reduce time to market for commissioning of train control systems, with improved safety.
Our PiSPEC® and Prover iLock® solutions are used to specify, code, simulate and verify a wide variety of systems, including interlocking, CBTC, ERTMS and ATP. We also provide Prover Certifier®, the only sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC SIL-4 certification.
Prover Technology provides the de-facto standard software solutions for mastering rail control management. The Prover iLock and Prover Certifier product lines efficiently enable automated development and sign-off verification of software-based rail signal systems.
Prover’s clients – leading infrastructure managers and system suppliers around the world - excel at increasing safety and capacity while maintaining mission critical knowledge and decreasing costs and project delays.
Prover Technology was founded in 1989 in Stockholm, Sweden. The company has subsidiaries in the US and France. It is privately owned by investors and staff, and has customers in more than 25 countries.