Prover

About

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.

Keywords

formal safety verification of relaybased interlocking systems, formal safety verification of computerbased interlocking systems, specification, coding, simulation & verification of railway signalling systems

Amenities

No amenities listed yet

Upcoming Events

No upcoming events scheduled

Frequently Asked Questions

No reviews yet. Be the first to review!

Social Links

Photo Gallery

No photos available

Contact Information

Business Info

Location

Business Hours

Business hours not available