پسوند فایل VDM
تولیدکننده : VDM
کد منبع برنامه براساس VDM(روش ساخت وین)، مجموعه ای از تکنیک ها برای مدل سازی سیستم های محاسباتی است؛ حاوی کد نوشته شده به VDM-SL (زبان مشخصات VDM) یا VDM++ است.
فایل ماکروی VEDIT
فایل ماکروی مورد استفاده VEDIT است، برنامه ای که برای ویرایش فایل های متنی بزرگ به کار می رود؛ حاوی کد برنامه ماکروی نوشته شده به زبان رونوشت برداری VEDIT است؛ توابع ویرایش فایل VEDIT مثل فرمت دهی، جایگذاری های متن یا ترجمه بین کدگذاری های متن را خودکارسازی می کند.
فایل های VDM می توانند برای کنترل کامل کارکرد فراهم شده در VEDITبه کار روند. ماکروهای VDM در فایل های تا 100+ گیگابایت اجرا می شوند و می توانند در هر نوع فایل از جمله متنی، دوتایی، شش تایی یا EBCDIC اجرا شوند.