(VDM) A program development method based on formal specification using the Vienna Development Method Specification Language (VDM-SL).