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.

Type
Small and Medium sized Enterprise
Country
Alt Sweden
Website
http://www.prover.com

Project participation

ITEA 3 Call 5 Alt Alt Alt Alt Alt

IVVES

Industrial-grade Verification and Validation of Evolving Systems