Prover Technology - Railway Control and Signalling Systems

Prover Extractor provides tool support for development and V&V of relay-based interlocking systems.

• 
  Prover iLock is particularly cost-efficient when many systems are developed...
• 
  Prover iLock provides easy-to-use graphical user interface tools.
• 
  Prover iLock offers a comprehensive development flow.
• 
  Prover Certifier provides complete safety evidence for CENELEC SIL 4...
• 
  Prover Extractor provides tool support for development and V&V of relay-based...

Back to Company Details