Join us to learn more about formal verification, a verification method that uses mathematical proofs to establish that the implemented system fulfills the safety requirements.
Learn why formal verification is the only solution to safety verification. Watch this recorded webinar!
If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]
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'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, [...]
Anyone who has given it a go knows that writing specifications is hard work. In fact, at times it seems [...]
Prover recently started its first project in China, so in the beginning of December Prover did a tour to China, [...]
Join us to learn more about formal verification, a verification method that uses mathematical proofs to establish that the implemented system fulfills the safety requirements.
Learn why formal verification is the only solution to safety verification. Watch this recorded webinar!
If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]
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'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, [...]
Anyone who has given it a go knows that writing specifications is hard work. In fact, at times it seems [...]
Prover recently started its first project in China, so in the beginning of December Prover did a tour to China, [...]
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