Project Dates: From May 2017 to September 2017
Project Leader: Prof. Alexander Romanovsky (PI)
Staff: Dr. Alexei Iliasov
Sponsors: Siemens Rail Automation
This project aims at developing a practical tool that will conduct fully automated formal verification of railway control tables.
