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.
Learn how Formal Methods can improve the development processes in rail control projects.
We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from [...]
The 25th International Conference on Formal Methods (FMICS) 2020 took place virtually in Vienna on the 2-3 September. Today Formal [...]
Beginning May 18th, I led a four-day online crash course on HLL for a dozen Safety Engineers. Due to the [...]
In this, the third and final, blog post on Signal Design Automation we will look at how Formal Verification and [...]
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 the [...]
Learn how Formal Methods can improve the development processes in rail control projects.
We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from [...]
The 25th International Conference on Formal Methods (FMICS) 2020 took place virtually in Vienna on the 2-3 September. Today Formal [...]
Beginning May 18th, I led a four-day online crash course on HLL for a dozen Safety Engineers. Due to the [...]
In this, the third and final, blog post on Signal Design Automation we will look at how Formal Verification and [...]
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 the [...]
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.
© 2023 Prover All Rights Reserved
© 2023 Prover All Rights Reserved
+46 (0)8 617 68 00