Formal verification for Stockholm Central
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
Emil Blomqvist, Digital Marketer2025-01-13T09:49:51+01:00Customer case, Stockholm|
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
Emil Blomqvist, Digital Marketer2025-01-10T13:31:10+01:00Customer case, Stockholm|
In this project, Ansaldo STS delivers the wayside systems to Trafikverket’s ERTMS Level 2 project ESTER, including a new computerized interlocking system. Trafikverket requires that their...
Emil Blomqvist, Digital Marketer2025-01-13T09:49:51+01:00Customer case, Stockholm|
Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...
Emil Blomqvist, Digital Marketer2025-01-10T13:31:10+01:00Customer case, Stockholm|
In this project, Ansaldo STS delivers the wayside systems to Trafikverket’s ERTMS Level 2 project ESTER, including a new computerized interlocking system. Trafikverket requires that their...
Fill out your information here.
Explore the railway solutions, start with a focused engagement, or discuss how Prover can support your functional safety lifecycle.
And 100% secure system.












Get the latest news and updates about Prover.
| Krukmakargatan 21 118 51 Stockholm Sweden |
+46 (0)8 617 68 00
Get the latest news and updates about Prover.
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.