.
Eine .vdm-Datei enthält den Quellcode eines Programms, das auf der VDM-oder Vienna Development Methode basiert.
Die .vdm-Datei wird verwendet, um eine Reihe von Techniken zu etablieren, die verwendet werden, um Computersysteme zu modellieren. Sie enthält einen Code, der in VDM-SL geschrieben wurde.
