Prover Oy
1635892-0ActiveWorld leader in formal verification for safe railway signaling systems.
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
Keywords
Company Information
- Industry
- Unknown
- Legal Form
- 16
- VAT Number
- FI16358920
Decision Makers
No decision makers found yet
Similar Companies
20 similar companies in FunnelfeedrREAL E3 Systems Oy
A human-centered augmented intelligence framework ensuring stability and clarity.
FREQUENTIS RECORDING AS
7 employeesGlobal supplier of safety-critical communication and information systems for control centres.
Inference Labs AB
1 employeesProvides cryptographic certainty for verifiable, auditable autonomous systems.
ELEMENT LOGIC FINLAND OY
Global leader optimizing warehouses with AutoStore automation technology.
Nekos Oy
Nekos optimizes internal logistics with patented crate handling systems.
Browse More
Prover Oy Questions
Want to see Funnelfeedr in action?
Book a free demo and discover how Funnelfeedr helps you find and convert your ideal customers.
Book a demo