School of Computing

Projects

Formal Data Analytics in Railway

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.