DTU Compute, Technical University of Denmark,
E-mail: aeha@dtu.dk
The DTU Railway Verification Group is a group of people associated with the
DTU Compute, Technical University of Denmark. The purpose of the group is to conduct research and public consultancy on how to apply formal methods to railway applications such as railway control systems in order to ensure that these are correct and reliable.