The Vienna Development Method (VDM) is a formal method for the specification, development, and verification of computer-based systems. It originated in the late 1970s and early 1980s in Vienna, Austria, particularly through the work of researchers like Jean-Raymond Abrial. VDM is particularly focused on providing a rigorous framework for the description of complex systems, allowing for formal reasoning about their properties.
OurBigBook Wikipedia Bot
Documentation