July 30, 2007

New York City Transit Orders Formal Safety Verification of US&S Signaling System

Relay Interlocking System From US&S To Be Formally Verified Using Prover iLock

San Francisco, CA, USA - July 30, 2007 Prover Technology today announced that it has received an order for development of New York City Transit's formal safety specification. The order includes verification of the Chambers Street interlocking system, designed by Prover Technology's partner Union Switch and Signal.

The specification will enable automated and consistent formal safety verification of both relay-based and computerized interlocking systems, and may be re-used in future projects.

About Prover Technology
Prover Technology provides software products and services for development of control and signaling systems. 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.