`

Prover

Software Development

Specialities :
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
Sign Up to View More
revenue-icon Revenue
11M - 100M
funding-icon Total Funding
--
size-icon Size
51 - 200
About Us
Org Charts
Employees
Buyer Intent
Tech Stack
Jobs

Frequently Asked Questions About Prover

What does Prover do?+

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 iLockTM, Prover CertifierTM and Prover ExtractorTM 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 iLockTM tool suite....

What are Prover's specialties? +

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

What is Prover's industry? +

Prover operates in the Software development industry.

What is Prover's revenue? +

Prover's revenue is 11m - 100m

What is Prover's company size? +

Prover has 51 - 200 employees.

The Go-to Sales Technology According to G2

G2 Badges Map
Get Started With Clodura
Sign Up

Sign Up for Free

Get Started with the Free Forever plan! No credit card needed. Enjoy up to 10,000 free email credits per month at no cost.

Sign Up For Free
Supercharge Your Prospecting

Supercharge Your Prospecting

Start Prospecting from Clodura.AI's database of 600M+ verified B2B contacts and 120M+ direct dials along with 18M+ companies' org charts.

Sign Up For Free
Grow Your Business

Grow Your Business

Unlock the prospect's contact details, including verified email, direct dials, add them to cadence, and close more deals.

Sign Up For Free