The company was founded in 1989 and is privately held. It is headquartered in Stockholm, Sweden with wholly owned subsidiaries in France and USA and has 30 employees.
ProverŪ Technology provides two premier software solutions: PROVER iLock for control and signalling system development and Prover Plug-In for formal verification tool developers. Prover Technology also provides services supporting deployment of its products. Our customer base includes ABB, Airbus, Ansaldo, Norwegian National Rail Administration, Leirios, Esterel Technologies, OSC Embedded Systems, Swedish National Rail Administration, Stockholm Transport (SL), Thales, NYCT (New York Metro), RATP (Paris Metro), and many others.
Prover Technology's commitment to state of the art verification methods is improving the safety of transportation systems worldwide.