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 to doing our part. We supply solutions for engineering the safety critical systems that control trains, signals and switches.
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 needed to enable our customers to meet strict certification requirements at reasonable cost.
Prover 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.
Elimination of safety and operational errors through the use of formal safety specifications |
Push-button engineering of reliable, affordable and safe control and signaling applications
|
More than 90% reduction in application engineering and testing costs, from process automation
|