14th German ENCRESS Event
joint German ENCRESS / ISA-EUNET Event

VDM (Validated Design through Modeling) Basics Course

17th � 19th May, 1999
GRS / ISTec Garching


Peter Gorm Larsen

IFAD, Odense (DK)

The VDM training course aims gave the participants an in-depth knowledge of the VDM-SL and VDM++ notation and tools. After a general overview of the VDM technology and Object-Oriented modelling with VDM++, attendees were trained on a number of small case studies exercising the modelling and validation capabilities of VDM-SL/VDM++ and VDM Tools. The constructs from both notations VDM-SL and VDM++ were introduced and explained.

Paul Smith

GAO mbH, Munich

"Report on the application of VDMTools® for high performance bank notes processing systems"