Why the railway industry needs to modernize its methods of safety assurance
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
Gunnar Smith2023-04-12T09:04:55+01:00Verification & Validation|
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
Daniel Fredholm2023-03-28T13:54:43+01:00Formal methods|
Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]
Daniel Fredholm2023-03-28T13:58:45+01:00Formal methods|
The subject I am going to write about this time is not an easy one. I will try to explain [...]
Lars Helander2023-04-19T16:26:51+01:00Verification & Validation|
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
Daniel Fredholm2023-04-19T16:22:52+01:00Formal methods|
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a [...]
Daniel Fredholm2023-04-19T16:25:06+01:00Requirements|
In my last post I wrote about how to write a decent specification on a quite general level. This time, [...]
Anders Linden2023-03-28T14:11:16+01:00Events|
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
Emil Blomqvist, Digital Marketer2023-03-28T14:13:53+01:00Formal methods|
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by the [...]
Anders Linden2023-03-28T14:14:21+01:00Formal methods|
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
Gunnar Smith2023-03-28T14:14:59+01:00Safety|
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]
Gunnar Smith2023-04-12T09:04:55+01:00Verification & Validation|
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
Daniel Fredholm2023-03-28T13:54:43+01:00Formal methods|
Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]
Daniel Fredholm2023-03-28T13:58:45+01:00Formal methods|
The subject I am going to write about this time is not an easy one. I will try to explain [...]
Lars Helander2023-04-19T16:26:51+01:00Verification & Validation|
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
Daniel Fredholm2023-04-19T16:22:52+01:00Formal methods|
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a [...]
Daniel Fredholm2023-04-19T16:25:06+01:00Requirements|
In my last post I wrote about how to write a decent specification on a quite general level. This time, [...]
Anders Linden2023-03-28T14:11:16+01:00Events|
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
Emil Blomqvist, Digital Marketer2023-03-28T14:13:53+01:00Formal methods|
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by the [...]
Anders Linden2023-03-28T14:14:21+01:00Formal methods|
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
Gunnar Smith2023-03-28T14:14:59+01:00Safety|
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]
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