Prover provides software products and services for development and V&V of railway signaling systems. Our customer base includes railway infrastructure managers and railway signaling system suppliers around the world, as well as tool developers that license our proof engine products (Prover Plug-In).
Our software products Prover iLock™, Prover Certifier™ and Prover Extractor™ are used for specification, code generation, simulation, formal verification and certification of a wide range of rail control systems, including interlocking, CBTC, ERTMS, ATP and PTC. We also provide formal specification IP in the PiSPEC language, capturing standard signaling principles, for use with the Prover iLock™ tool suite. We also supply training and partner services to our customers.
Find out more on our website www.prover.com under News and Expertise.
Company Details
- Employees
- 69
- Founded
- -
- Address
- Krukmakargatan 21, Stockholm,11851,sweden
- Phone
- 46 86 17 68 00
- Industry
- Software Development
- NAICS
-
Software Publishers
- Website
- prover.com
- Keywords
- Formal safety verification of relay-based interlocking systems, Formal safety verification of computer-based interlocking systems, and Specification, coding, simulation and verification of Railway Signalling Systems.
- HQ
- Stockholm
Prover Questions
Prover's helpline number is 46 86 17 68 00
Prover's website is prover.com
Prover's LinkedIn profile is https://www.linkedin.com/company/provertechnology
Prover has
69 employees.
View email and phone details for 69
employees at Prover.
Prover's industry is
Software Development
Prover's top competitors are
Provar,
Systerel,
Cryspen,
Twindej,
Cactus Rail Ab,
Swedtrain,
Sig4 Engineering,
Prover,
Grupo Prover,
Prover Soluções Em Ti E Software House.
Prover's categories are Software Development
Prover's founding year is 1989
