The Free On-line Dictionary of Computing (19 January 2023):

VDM

   1. Vienna Definition Method

   2. Virtual Device Metafile.