Vienna Development Method (VDM) is a program development method based on formal specification using the VDM specification language (VDM-SL), with tool support. There is an object-oriented extension, VDM++.

=External link=

*[http://www.csr.ncl.ac.uk/vdm/ Information on VDM and VDM++]

=Reference=