Introduction and Development Process Peter Gorm Larsen IHA præsentation Agenda Administrative information about the course What are VDM models and how are they validated?…