The DTU Railway Verification Group

Anne E. Haxthausen

DTU Compute, Technical University of Denmark, E-mail: aeha@dtu.dk

Image IC3tog Image control_center Image AnneH2
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.





Anne Haxthausen 2019-06-27