.
.vdm contém o código-fonte de um programa baseado em VDM (o Método de Desenvolvimento de Viena), um conjunto de estratégias e técnicas para modelagem de sistemas de informática.
O seu código é escrito em VDM-SL (VDM Specification Language) ou em VDM + +.
