ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
ITEA 4 page header grey golden ratio

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.

Small and Medium sized Enterprise
Alt Sweden

Project participation

ITEA 3 Call 5 Alt Alt Alt Alt Alt


Industrial-grade Verification and Validation of Evolving Systems