Current Books on VDM

This web site supports the use of two current texts on VDM. "Modelling Systems" (Fitzgerald & Larsen, 2nd edn., 2009) is the main guide to the principles and practice of system modelling in VDM. It assumes no prior knowledge of formal modelling techniques. "Validated Designs" (Fitzgerald, Larsen, Mukherjee, Plat & Verhoef) covers the extended object-oriented version VDM and assumes some basic knowledge of o-o systems. Click on the image of the book you are interested in to access support material, including teaching materials, additional exercises, tools and other information. Visit the VDM Portal to get the latest information about VDM, its community and support tools. You can also contact us by e-mail.

Because this site is a Wiki, you can contribute new material yourself. Please create an account and type away!

-- JohnFitzgerald - 08 Jun 2009