Slide 1 March 2009Tools for VDM in Industry1 Professor Peter Gorm Larsen Engineering College of Aarhus ([email protected]) [email protected] Also adjunct professor at Aarhus University…

Slide 1 Industrial usage of VDM Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL Consult Slide 2 Ingeniørhøjskolen i Århus Slide 2 Personal…

Slide 1 March 2008Tools for VDM in Industry1 Professor Peter Gorm Larsen Engineering College of Aarhus ([email protected]) [email protected] Slide 2 March 2008Tools for VDM in Industry2…

Slide 1 Semantics in Practice Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL Consult [email protected] Slide 2 Ingeniørhøjskolen i Århus Slide 2…

Slide 1 March 2007Tools for VDM in Industry1 Peter Gorm Larsen Slide 2 March 2007Tools for VDM in Industry2 Personal Background Theoretical Work VDM-SL Semantics (ISO standard)…