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.
7-day free trial · no credit card
Verified contacts
3
available on Kipplo
LinkedIn employees
3
1 to 10 range
Open roles
—
no listings
Distinct roles
3
indexed titles
Tech stack
0
tools in use
Monthly traffic
—
organic / mo
Sign up free to see all 3 verified contacts at The Formal Route
Free for 7 days · 50 credits · no card · only pay for verified records.
Decision-makers and verified team members
3 contacts with verified email or phone · masked until revealed.
- AI
Alexei Iliasov
Director · General Business & Management
EmailPhone - AR
Alexander Romanovsky
Director and Co-founder · General Business & Management
EmailPhone - IL
Ilya Lopatkin
- - · Other
EmailPhone
Showing 3 of 3 verified contacts
Top roles at The Formal Route
3 distinct titles indexed · top 3 shown.
- 1- -
- 1director
- 1director and co-founder
Sign up to unlock all 3 contacts at The Formal Route
Free for 7 days · 50 credits · no card · only pay for verified records.
Sign up to reveal 3 verified contacts at The Formal Route
7-day trial · no credit card · cancel anytime · only pay for verified records.
Trusted by sales, marketing, and GTM engineering teams.