News
Follow our Blog and Learn about current Events and Activities at Prover
Performance issues with formal vertification
We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a colleague... still no answer. This can be standard behaviour when doing formal verification. The requirements [...]
The Structure of Specifications
In my last post I wrote about how to write a decent specification on a quite general level. This time, I like to return to the topic, trying to be a bit more specific and [...]
How to build the Business Case for an Interlocking Design Automation investment
Interested in a modern Interlocking Design Automation process? As with all investments you then need a compelling business case to justify the decision to move forward. To build a business case, we compare traditional methods [...]
How to Write a Decent Spec
Anyone who has given it a go knows that writing specifications is hard work. In fact, at times it seems almost impossible. Which probably is the reason why the practice of using specifications is shunned [...]
Signaling Design Automation Forum on the 15th of May 2018
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The Signaling Design Automation Forum is the event to embrace the latest evolutions of design automation [...]
SOCIAL MEDIA