About us
Engineering a safer world
Aviation, trucking and cars bring oil dependence and pollution. Trains are faster, more economical, safer and greener. At Prover Technology we are committed doing our part to contribute to a sustainable and safe world. We provide solutions for the engineering of safety critical systems that control trains, signals and switches.
Prover provides solutions for interlocking design automation that radically reduce time to market for commissioning of train control systems, with improved safety. As an example, a complete interlocking system delivery can be reduced from 12-18 months to 1-3 months. The verification, usually more than 50% of the time required, becomes a push-button activity.
Our PiSPEC® and Prover iLock® solutions are used to specify, code, simulate and formally verify a wide variety of systems, including interlocking, CBTC, ERTMS, ATP and PTC. We also provide the software IP and training required to enable our customers to meet strict certification requirements at reasonable cost, e.g CENELEC SIL-4.
Prover is active in railway and signaling industry associations and standardization bodies such as SWERIG and UNIFE. We are actively contributing in shaping the train control systems of tomorrow. Striving towards safe, cost efficient and future proof solutions.
Prover is a world leader in formal methods and formal verification for safety critical systems. The company was founded in 1989 in Stockholm, Sweden, and has gained extensive experience over the years in its field. Prover has subsidiaries in the US, France and China. It is privately owned by investors and staff, and has customers in more than 25 countries.