Prover Extractor - Railway Technology
Join Our Newsletter - Get important industry news and analysis sent to your inbox – sign up to our e-Newsletter here

Prover Extractor is a tool for automated processing, checking and generation of relay-based interlocking system schematics.

It is used to extract component and interconnection data from relay circuit schematic drawings. This enables checking design consistency and conformance to design guidelines, and formal verification of relay-based interlocking systems.

More About This Company