Area of operation 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. The company was founded in 1989 and is privately held. It is headquartered in Stockholm, Sweden with wholly owned subsidiaries in France and USA. Key products/services Prover iLock is the leading software solution for control and signalling application design, verification, validation, optimization and documentation. It has been deployed by hardware suppliers and operators in more than 25 countries. Prover iLock has an unparalleled track record when it comes to cutting costs, ensuring safe operation, and speeding up the development process.

Prover Technology AB Address Rosenlundsgatan 54, SE-118 63 STOCKHOLM, Sweden Telephone 46 8 617 68 00 Fax 46 8 653 69 00 Website http://www.prover.com Contact Mail to Mats Boman .