 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
Speed, Safety and Savings
LATEST NEWS
Floating Point Model Checking Put to the Test
In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE [...]
Our model checker PSL up to 60 times faster using AI-optimized proof strategies
From more than two months down to less than two weeks, or six times faster. From almost two weeks down [...]
Why Formal Verification – The Solution to the Verification Problem
If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]
Interlocking Design Automation
There is a need for a modern approach to signaling control for railway if infrastructure managers are going to keep up with the future demand. A modern approach need to handle flexibility and security at the same time.
A new process for how a signaling solution is developed and maintained must become standard practise. The efforts that is needed today for development and maintenance must be radically reduced.
PiSPEC IP
PiSPEC is a formal specification language designed to facilitate formalization and review of requirement specifications for railway signaling systems.
Prover iLock
Prover iLock is a desktop tool for development of application software for railway interlocking systems.
Prover Certifier
Prover Certifier is a sign-off verification tool, creating CENELEC EN50128 SIL 4 compliant safety evidence for the Specific Application software based on formal verification.