The Formal Route are experts in applying formal methods to verification of high assurance railway systems. The company develops bespoke tools for mathematical modelling of signalling plans, control tables and signalling data. We designed and deployed solutions for automated safety verification  of computerised signalling based on Solid State Interlocking  and its dialects. We have successfully delivered a number of projects on safety verification of signalling designs and formal methods-assisted design pipelines.  The company offers consultancy on application of formal methods to railway signalling.

The Formal Route

Org chart

Teams

Offices

The Formal Route

Org chart

Teams

Offices

Related companies