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