Prover Oy
1635892-0ActiveWorld leader in formal verification for safe railway signaling systems.
Technology Companyprover.com
Overview
- Unknown
- Employees
- Unknown
- Revenue
- 2000
- Founded
Description
Prover Technology AB is a specialized technology company founded in 1996, recognized as a world leader in formal methods and verification for safety-critical systems. The organization primarily focuses on digitalizing the railway sector by providing advanced solutions for rail signaling and train co...
Tags
B2BProfessional ServicesTechnology
Keywords
Automation
FREQUENTIS RECORDING AS
Inference Labs AB