Research

The company was created by the computer science researchers from Newcastle University with a substantial experience in formal verification methods (theorem provers and solvers), system safety and system dependability. During our time in the academia we conducted a number of projects advancing the science and transferring technologies to our industrial partners.

Since 2011 we have been cooperating closely with a number of railway companies in Europe and in the UK on developing techniques for railway capacity simulation and safety verification.

We still actively research and publish in the area of application of formal methods to safety analysis of control system, in particular computerised signalling control.