Engineering is accelerating with AI, but clarity and control are now the real bottlenecks. Learn how executable specifications and formal verification enable faster, more reliable systems.
Engineering is accelerating with AI, but clarity and control are now the real bottlenecks. Learn how executable specifications and formal verification enable faster, more reliable systems.
2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and [...]
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 [...]
In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control [...]
The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of [...]
In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE [...]
From more than two months down to less than two weeks, or six times faster. From almost two weeks [...]
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 [...]
2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and [...]
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 [...]
In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control [...]
The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of [...]
In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE [...]
From more than two months down to less than two weeks, or six times faster. From almost two weeks [...]
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 [...]
Fill out your information here.
Explore the railway solutions, start with a focused engagement, or discuss how Prover can support your functional safety lifecycle.
And 100% secure system.
© 2026 Prover Technology AB All Rights Reserved
© 2026 Prover All Rights Reserved
+46 (0)8 617 68 00