Prover Technology

Prover Technology is a world leader in formal methods and formal verification for safety critical systems. We provide solutions for signaling 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.

Type

Small and Medium sized Enterprise

Country

Sweden

Website

http://www.prover.com