.
امتداد الملف VDM هو أساسا مجموعة خاصة بنظام، استراتيجيات، وأساليب من أجل إعادة إنتاج النظام الحاسوبي بالكامل. وهو يعتبر مصدر البرنامج الذي يقوم بالاعتماد علىVienna Development Method.
صيغة امتداد الملف VDM تحتوي على كود وهذا الكود تتم طباعته أو كتابته بواسطة لغة VDM-SL – VDM المخصصة أو باستخدام لغة VDM++..
