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

• 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
• June 19, 2007 LEIRIOS Choose Prover Plug-In for Speed and Capacity
• June 13, 2007 Jernbaneverket and ABB Deploy Prover iLock
• June 4, 2007 The MathWorks Introduces Simulink Design Verifier
• October 18, 2005 Prover Technology Acquires Industrilogik