Search
Go

Prover Technology AB is a Swedish software company focused on development and verification and validation of railway-signaling systems. Its products include tools for specification, code generation, simulation, formal verification, and certification of rail-control systems, and it also provides training and partner services.