vdm

VDM (Vienna Development Method) is a formal method for specifying, developing, and verifying software systems. Originating in the 1970s at the IBM Vienna Laboratory, VDM uses mathematical notation—primarily set theory and functions—to create precise, unambiguous specifications. It supports stepwise refinement, allowing developers to start with an abstract model and incrementally add detail while proving correctness properties. The most common language in VDM is VDM‑Spec, and tool support includes the VDMTools and Overture platforms. VDM is used in safety‑critical domains such as aerospace, rail, and banking to improve reliability and reduce defects. Views Nigeria