Prover Oy
1635892-0ActiveWorld leader in formal verification for safe railway signaling systems.
Oversigt
- Ukendt
- Medarbejdere
- Ukendt
- Omsætning
- 2000
- Grundlagt
Beskrivelse
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
Nøgleord
Virksomhedsoplysninger
- Branche
- Ukendt
- Juridisk form
- 16
- Momsnummer
- FI16358920
Beslutningstagere
Ingen beslutningstagere fundet endnu
Lignende virksomheder
20 lignende virksomheder i FunnelfeedrREAL E3 Systems Oy
A human-centered augmented intelligence framework ensuring stability and clarity.
FREQUENTIS RECORDING AS
7 medarbejdereGlobal supplier of safety-critical communication and information systems for control centres.
Inference Labs AB
1 medarbejdereProvides 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.
Udforsk mere
Spørgsmål om Prover Oy
Vil du se Funnelfeedr i aktion?
Book en gratis demo og opdag, hvordan Funnelfeedr hjælper dig med at finde og konvertere dine ideelle kunder.
Book en demo