June 26, 2007

Prover iLock Projects Continue to Exceed Banverket Expectations - Now Include Process Automation

Exhaustive Safety Verification Completed for Karlberg and Stockholm Central, Two of Northern Europe's Largest and Most Complex Interlocking Systems

Stockholm, Sweden - June 26, 2007
Prover Technology today announced that it has completed formal verification of two of Northern Europe's largest and most complex interlocking systems: Karlberg and Stockholm Central.

The stations are implemented with a total of more than 10000 free-wired vital relays. The relay logic was formally verified to comply with control tables and signaling diagrams during both normal and fault operation. As part of the projects, Prover also automated client processes by developing custom solutions for automatic database reviews, wiring diagram extraction, and generation of power and terminal post coupling schematics.

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
+1 650 722 2750
marcus@prover.com
# # #
All products are the trademarks, service marks, or registered trademarks of their respective holder.