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.