- Project Dates: From June 2016 to February 2017
- Project Leader: Prof. Alexander Romanovsky
- Staff: Dr. Alexei Iliasov, Paulius Stankaitis
- Sponsors: EPSRC Impact Acceleration Account
The project will establish the commertial potential of the scalable formal verification technology developed in our TRAMS2 project in the railway domain. It will deliver methods and tools for automated verification of railway design data and offer a novel formal semantic interchange technology to support ongoing digitization of railway operation.