Unambiguous representation a gateway to automatic processing
Formal Proof
Symbolic interpretation of signalling data
100% coverage by design
Verification against ignalling principles, including NR ASTW (MOD11)
Concise reporting
Output reports in HTML, PDF and Excel
Short, concise reports that provide full explanation on the source and nature of an error
Cross-references to inputs such as a signalling plan
Research
The company was created by the computer science researchers from Newcastle University with a substantial experience in formal verification methods. We actively publish new results.
Formal method experts
The company develops bespoke tools for mathematical modelling of signalling plans, control tables and signalling data.
Industrial Experience
We have successfully delivered number of projects on safety verification of signalling designs and FM-assisted design pipelines.
Proof for Compliance
We help our clients to meet and exceed V&V requirements with state the art static analysis of signalling, control tables, scheme plans and etc.
UK Signalling
We designed and deployed solutions to automatically verify safety of computerised signalling based on SSI and its dialects.
Consultancy
We offer consultancy in application of formal methods to railway signalling.