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.
The company develops bespoke tools for mathematical modelling of signalling plans, control tables and signalling data.
We have successfully delivered number of projects on safety verification of signalling designs and FM-assisted design pipelines.
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.
We designed and deployed solutions to automatically verify safety of computerised signalling based on SSI and its dialects.
We offer consultancy in application of formal methods to railway signalling.