abstract:The Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna LaboratorySome idea of that work, including a technical report TR 25.