PiSPEC enables specification engineers to capture their signaling know-how using an unambiguous and proven formal language.

• Ensure clear requirements
• Identify and resolve specification
  ambiguities and errors
• Document tribal knowledge

Application engineers use Prover iLock to automate coding, simulation and formal verification, based on their PiSPEC libraries.

• Win more bids
• Increase engineering bandwidth
• Improve safety, consistency
  and reliability

• July 28-31
  Application Engineering using Prover iLock
• Sept 2-5
  Formal methods for signaling systems

• Oct 6-8
  Nordic Rail
• Sept 15-17
  COMPRAIL 2008

• 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