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

• MTA New York City Transit
  Formal Verification of relay-based interlocking systems
• Swedish Transport Administration
  Formal Verification of relay-based interlocking systems

• September 20-23
  InnoTrans 2016
• November 1-3
  SmartMetro 2016

• October 1, 2015
  Prover Technology releases Prover iLock 4.0
• October 1, 2015
  Canadian Pacific Extends Licensing of Prover iLock for Interlocking System Development
• November 4, 2014
  Stockholm Metro licenses Prover iLock for interlocking system configuration and requirement generation
• February 11, 2014
  Prover Technology and IKOS Consulting Join Forces to Meet Customer Demand for Automated Rail Control Development