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.


We offer consultancy in application of formal methods to railway signalling.

We work with