Prover Technology AB


Krukmakargatan 21
SE-118 63 Stockholm

Telefon / Fax: anzeigen
Telefon: +46 8 6176800
Fax: +46 8 6536900
  • InnoTrans 2018
  • Halle 11.2 209
  • Railway Technology Railway Technology

Kontaktieren Sie uns

Persönliche Angaben

Bitte geben Sie Ihren Vornamen an.
Bitte geben Sie Ihren Nachnamen an.
Bitte geben Sie Ihren Firmennamen an.
* erforderlich

Ihre Nachricht (max. 200 Zeichen)

Bitte geben Sie eine Nachricht ein.
Bitte wählen Sie einen Empfänger aus.

Nachricht senden

Ihre Nachricht wurde erfolgreich versendet.
Weitere Nachricht senden.

Link teilen


Weiterempfehlen von Prover Technology AB

Trennen Sie mehrere E-Mail-Adressen durch ein Komma voneinander. Die Empfänger erhalten einen Link zu dieser Plattform.

Bitte geben Sie einen gültigen Empfänger an.
Bitte geben Sie eine gültige E-Mail-Adresse ein.
Bitte geben Sie eine Nachricht ein.
* erforderlich
Ihre Empfehlung wurde erfolgreich versendet.
Weitere Nachricht senden.


Engineering a safer world

Prover® Technology - is a world leader in formal methods and formal verification for safety critical systems. We provide solutions for interlocking design automation that radically reduce time to market for commissioning of train control systems, with improved safety.
Our PiSPEC® and Prover iLock® solutions are used to specify, code, simulate and verify a wide variety of systems, including interlocking, CBTC, ERTMS and ATP. We also provide Prover Certifier®, the only sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC SIL-4 certification.

Prover Technology provides the de-facto standard software solutions for mastering rail control management. The Prover iLock and Prover Certifier product lines efficiently enable automated development and sign-off verification of software-based rail signal systems.

Prover’s clients – leading infrastructure managers and system suppliers around the world - excel at increasing safety and capacity while maintaining mission critical knowledge and decreasing costs and project delays.

Prover Technology was founded in 1989 in Stockholm, Sweden. The company has subsidiaries in the US and France. It is privately owned by investors and staff, and has customers in more than 25 countries.