VDM stands for Vienna Development Method. It is a formal method for verifying and validating software models. It provides a set of notations and tools for specifying software systems in a precise and unambiguous manner.