Prover is a world leader in formal methods and formal verification for safety critical systems. We provide solutions for interlocking design automation that radically reduce time to market for commissioning of train control systems, with improved safety. Our PiSPEC® and Prover iLock® solutions are used to specify, code, simulate and verify a wide variety of systems, including interlocking, CBTC, ERTMS and ATP. We also provide Prover Certifier®, the only sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC SIL-4 certification.
Prover iLock is the leading software solution for control and signalling application design, verification, validation, optimization and documentation. It has been deployed by hardware suppliers and operators in more than 25 countries. Prover iLock has an unparalleled track record when it comes to cutting costs, ensuring safe operation, and speeding up the development process.