![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
---|
![]() |
![]() |
![]() |
---|
![]() |
![]() |
![]() |
---|
Speed, Safety and Savings

LATEST NEWS
Verification of Safety Requirements
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
PSL – Best-in Class Formal Verification Performance
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
Time to start offering AI-tuned proof tactics to the world!
The time is ripe for "productifying" our work on AI-tuned proof tactics. Few weeks ago we made the first [...]
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.