Formal methods are essential in rail control, ensuring safe and reliable signaling and control systems. Mathematical verification minimizes the risk of errors and delays, while enhancing efficiency and reducing maintenance costs. Adopting formal methods in rail control enhances safety, reliability, and compliance. Read more about formal methods here.
In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE [...]
Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]
The subject I am going to write about this time is not an easy one. I will try to explain [...]
We at Prover are very happy to announce the release of version 4.0 of our model checker Prover SL CE [...]
We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover have entered into a long-term agreement for [...]
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a [...]
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by [...]
Justify investment in modern rail control solutions
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. [...]
In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE [...]
Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]
The subject I am going to write about this time is not an easy one. I will try to explain [...]
We at Prover are very happy to announce the release of version 4.0 of our model checker Prover SL CE [...]
We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover have entered into a long-term agreement for [...]
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a [...]
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by [...]
Justify investment in modern rail control solutions
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. [...]
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.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
+46 (0)8 617 68 00