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

• 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
• March 30, 2005 Actel and Prover Technology Announce Equivalence Checking Support for Actel Design Flows
• March 8, 2005 Prover Technology Provides Automated and Proven Equivalence Checking Solution for Synplify Pro-Based Flows Targeting Xilinx Devices
• January 24, 2005 Synplicity and Prover Technology Introduce Synthesis and Logic Verification Flow for Altera and Xilinx Fpgas
• December 14, 2004 Banverket Consulting Deploys Prover Ilock for Verification of Tegelbacken Railway Interlocking System Upgrade
• November 10, 2004 Airbus Selects Prover Plug-In based Software for Formal Verification of A380 Flight Control Systems
• November 5, 2004 Swedish National Railway Administration Selects Prover iLock for Verification of the 25.000 Man-Hour Karlberg Project
• June 3, 2004 Prover Technology Adds Support for Equivalence Checking Advanced Synthesis Optimizations to Prover eCheck