November 13, 2007

Prover Receives $761,000 Order from ABB for Verification of Three Stations on Jernbaneverket's Sandnas-Stavanger Line

Three New ABB Merkur Computerized Interlocking Systems to be Formally Verified Using Prover iLock

Stockholm, Sweden - Nov 12, 2007 Prover Technology today announced that it has received a SEK4.8M order (~USD761k) for verification of three stations on the Sandnas-Stavanger line.

Prover iLock has been used to exhaustively prove the safety of many Norwegian interlocking applications (including Sand, Roven, Gulsvik, Harran, Heggedal, Spikkestad, Namskogan, Majavatn, Svenningdal, Trofors, Vinstra, Rena, , Ganddal, and 14 applications on Nordlandsbanen) implemented using a wide variety of relay-based and computerized solutions (including ABB Merkur, NSB-87, NSB-94, and NSI-63).

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.