(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.data-privacy-src= 'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); })(window,document,'script','dataLayer','GTM-KZ3W38S');

model checking

model checking

Do you want news and upcoming events from Prover?

Fill out your information here.

Categories

How much can you save by implementing Signaling Design Automation?

In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.

SL
Infrabel
RATP
SWECO
Casco
Canadian Pacific
Trafikverket
ATKINS
New York City Transfer
Siemens
Thales
Alstom
Hitachi Rail STS

Contact us

Quick Links

Sign up to our Newsletter!

AddressKrukmakargatan 21
118 51 Stockholm
Sweden

Phone info@prover.com

Phone +46 (0)8 617 68 00

Get the latest news and updates about Prover.

© 2024 Prover Technology AB All Rights Reserved

Contact us

AddressKrukmakargatan 21
118 51 Stockholm
Sweden

Phone info@prover.com

Phone +46 (0)8 617 68 00

Quick Links

Sign up to our Newsletter!

Get the latest news and updates about Prover.

© 2023 Prover All Rights Reserved

This website uses cookies to improve your experience. Cookies are small data files that are stored on your device when you visit our website. We use cookies to understand how you use our website and to be able to offer a more personalized and relevant experience.

We also use third-party cookies that help us improve our advertising and marketing. These cookies enable us to show you relevant advertisements based on your interests and past interactions on our website.

We protect your privacy and want to be open about how we use cookies. You can read more about our privacy policy to gain a deeper understanding of how we handle your personal data. If you do not want us to use cookies, you can change your settings at any time. By continuing to use our website, you agree to our use of cookies and agree to our privacy policy.

Settings Approve Reject

Tracking cookies

Third Party Cookies

Go to Top