November 9, 2007

RATP (Paris Metro) Orders Formal Safety Verification of Ouragan CBTC Systems

Stockholm, Sweden - Nov 9, 2007 Prover Technology today announced that RATP has awarded it several contracts for delivering a formal verification solution for on-board and wayside Ouragan CBTC systems. The decision was taken after extensive trial studies showed that it is feasible to replace safety testing with Prover iLock-based formal safety verification, and thereby benefit from both reduced cost and engineering time.

Gunnar Stalmarck, CEO at Prover Technology, stated: "This is an important customer win for us, and it is also a towering engineering achievement: the solution draws on many years of experience in not only rail, but also semiconductors and avionics."

About Prover Technology
Prover Technology provides software products and services for control and signaling application development. The company was founded in 1989 and is privately held. It is headquartered in Stockholm, Sweden with wholly owned subsidiaries in France and USA. Prover Technology's customer base includes Airbus, Ansaldo, Bombardier, New York City Transit, RATP (Paris Metro), Swedish National Rail, Thales, and many others. For more information and office locations, visit Prover Technology's web site at http://www.prover.com.

Contact
Marcus Tallhamn, Prover Technology
650 722 2750
marcus@prover.com
# # #
All products are the trademarks, service marks, or registered trademarks of their respective holder.