For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
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 [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a [...]
In my last post I wrote about how to write a decent specification on a quite general level. This time, [...]
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by the [...]
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
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 [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a [...]
In my last post I wrote about how to write a decent specification on a quite general level. This time, [...]
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by the [...]
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
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.
© 2023 Prover All Rights Reserved
© 2023 Prover All Rights Reserved
+46 (0)8 617 68 00