School of Computing

Projects

Development of a Practical Tool for Formal Verification of Railway Signalling

This project aims at developing a practical tool that will conduct fully automated formal verification of railway control tables.