The company develops tools and methods for designing and digitising signalling projects, their modelling, and formal, fully automated verification of their safety.
We use the state of the art verification techniques (automated theorem provers and solvers) to ensure fully-automated scalable verification of signalling designs.
We offer support for the control table designs and for digitising of the existing railway layouts. This is accompanied by the comprehensive verification of the digital assets.
Our main differentiator between the existing analysis and verification tools and our approach is that our methods and tools fully hide the formal methods and use exclusively the notations deployed by the railway industry.