Vienna Definition Method

(VDM) A program development method based on formal specification using the Meta-IV language.