Software product suite for cost-efficient development and V&V of railway interlocking systems

A formal specification language for definition of generic railway interlocking systems

Software product for formal verification-based CENELEC SIL 4 certification of railway signaling systems, including ERTMS, CBTC and interlocking systems

Software product for development and V&V of relay-based interlocking systems, processing and generating relay schematic data

• Swedish Transport Administration
  Formal Verification of relay-based interlocking systems
• Norwegian National Rail Administration
  Formal verification of computerized interlocking systems

• March 19-21
  Signaling and Train Control 2013
• Sept 29 - Oct 1
  RSSI S&C Exhibition

• September 17, 2012
  Infrabel Orders Prover iLock for Validation of Requirements for Level Crossing Systems
• September 12, 2012
  GE Transportation Orders Turnkey Delivery of Interlocking Rail Control Software Developed With Prover iLock
• 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