Here you will find our press releases. The releases are listed in chronological order.

• November 16, 2010 Paris Metro replaces testing of interlocking and CBTC systems with formal safety verification using Prover Certifier
• May 4, 2010 Canadian Pacific Standardizes on Prover iLock for Interlocking System Design, Simulation and Formal Verification
• January 15, 2009 Westinghouse Rail Systems Ltd Orders Prover iLock Solution for WESTRACE Interlocking Systems
• January 13, 2009 Swedish Technology Leaders Prover and Axiomatics Solve Policy Analysis Challenges
• May 6, 2008 Synopsys Invests In Prover Technology
• November 13, 2007 Prover Receives $761,000 Order from ABB for Verification of Three Stations on Jernbaneverket's Sandnas-Stavanger Line
• November 9, 2007 RATP (Paris Metro) Orders Formal Safety Verification of Ouragan CBTC Systems
• July 30, 2007 New York City Transit Orders Formal Safety Verification of US&S Signaling System
• July 17, 2007 Prover Technology Releases 3rd Generation Prover iLock
• June 26, 2007 Prover iLock Projects Continue to Exceed Banverket Expectations - Now Include Process Automation