Company

The Formal Route

Rail Transportation London, City of, United Kingdom 3 employees

Employees: 3
Contacts: 1
Emails: 1

formal-route.com LinkedIn

The Formal Route Overview

Headquarters: London, City of, United Kingdom
Website: formal-route.com
Industry: Rail Transportation
Employees: 3
Founded: 2019
NAICS: Rail Transportation

Line-Haul Railroads

Short Line Railroads

Keywords

formal methods verification signalling Interlocking Safety Assurance Solid State Interlocking NR/L2/SIG/11201 Module B11 Computer science Westlock Smartlock SSI

About The Formal Route

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 Contact Details

People in AeroLeads: 2
With contact data: 1
Email contacts: 1; 50.0% coverage

The Formal Route Org Chart

Sample employees and titles

Name	Title	Location	Contact
Alexei Iliasov	Director at the Formal Route	Newcastle Upon Tyne, England, United Kingdom	View
Alexander Romanovsky	Professor at Newcastle University	London, England, United Kingdom	Email

Compare Similar Companies to The Formal Route

Staffing And Recruiting

Lambda World

Technology, Information And Internet

RoboSAPIENS EU

Robotics Engineering