Vienna Development Method (VDM) is a program development method based on formal specification using the VDM specification language (VDM-SL).