What’s the point of Formal Methods?
Railway signaling systems are surprisingly expensive to produce. Why did this happen? In the early days of railway history [...]
Anders Linden2024-07-22T22:31:35+01:00Formal methods|
Railway signaling systems are surprisingly expensive to produce. Why did this happen? In the early days of railway history [...]
Anders Linden2024-06-20T10:34:02+01:00Events|
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
Jesper Carlström2024-06-20T10:34:03+01:00Modeling|
With the opening of Roslags Näsby on December 10, we proudly conclude that we contributed to 10 interlockings so far [...]
Anders Linden2024-06-20T10:33:22+01:00Formal methods|
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
Emil Blomqvist, Digital Marketer2024-07-25T18:25:26+01:00Quality|
On August 31, 2017, the Swedish Transport Administration's Director General, Lena Erixon, submitted to the Swedish Government the "Proposal for [...]
Gunnar Smith2024-06-20T10:33:22+01:00Safety|
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]
Anders Linden2024-06-20T10:33:22+01:00Software development|
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready [...]
Anders Linden2024-06-20T10:33:22+01:00Formal methods|
There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. [...]
Anders Linden2024-06-20T10:32:20+01:00Verification & Validation|
Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on [...]
Anders Linden2024-07-22T22:31:35+01:00Formal methods|
Railway signaling systems are surprisingly expensive to produce. Why did this happen? In the early days of railway history [...]
Anders Linden2024-06-20T10:34:02+01:00Events|
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
Jesper Carlström2024-06-20T10:34:03+01:00Modeling|
With the opening of Roslags Näsby on December 10, we proudly conclude that we contributed to 10 interlockings so far [...]
Anders Linden2024-06-20T10:33:22+01:00Formal methods|
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
Emil Blomqvist, Digital Marketer2024-07-25T18:25:26+01:00Quality|
On August 31, 2017, the Swedish Transport Administration's Director General, Lena Erixon, submitted to the Swedish Government the "Proposal for [...]
Gunnar Smith2024-06-20T10:33:22+01:00Safety|
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]
Anders Linden2024-06-20T10:33:22+01:00Software development|
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready [...]
Anders Linden2024-06-20T10:33:22+01:00Formal methods|
There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. [...]
Anders Linden2024-06-20T10:32:20+01:00Verification & Validation|
Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on [...]
Fill out your information here.
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.
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.
Settings Approve Reject