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.
Company Details
- Employees
- 3
- Founded
- -
- Address
- London, United Kingdom, Gb
- Industry
- Rail Transportation
- NAICS
-
Rail TransportationLine-Haul RailroadsShort Line Railroads
- Website
- http://formal-route.com
- Keywords
- formal methods, verification, signalling, Interlocking, Safety, Assurance, Solid State Interlocking, NR/L2/SIG/11201 Module B11, Computer science, Westlock, Smartlock, SSI.
- HQ
- London, United Kingdom
- Competitors
- UMATR, RoboSAPIENS EU, GESTE Engineering, Acumatica, Lambda World.
The Formal Route Questions
The Formal Route's website is http://formal-route.com
The Formal Route's LinkedIn profile is https://uk.linkedin.com/company/the-formal-route
The Formal Route has
3 employees.
View email and phone details for 3
employees at The Formal Route.
The Formal Route's industry is
Rail Transportation
The Formal Route's top competitors are
Umatr,
Robosapiens Eu,
Geste Engineering,
Acumatica,
Lambda World.
The Formal Route's categories are Rail Transportation
The Formal Route's founding year is 2019
