Prover

📍 Stockholm, Sweden🗓 Founded 1989👥 70 employees💰 Last funded Nov 2024
Software Development🌐 prover.com
Website LinkedIn
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.
1
Total investors
0
Early stage
0
Mid stage
0
Late stage
1989
Founded

Investors

1 investors
All
Early stage
Mid stage
Late stage
Investor geography1 country
Sweden
1
Frequently asked questions
Who invested in Prover?
Prover has 1 investors on record on gritt.io.
When did Prover last raise funding?
The most recent investment in Prover recorded on gritt.io was in November 2024.
When was Prover founded?
Prover was founded in 1989.
What industry is Prover in?
Prover operates in Software Development. Find similar Software Development investors on gritt.io.
Where is Prover based?
Prover is headquartered in Stockholm, Sweden.