Định dạng tập VDM cơ bản chứa các thiết lập hệ thống và các kỹ thuật để mô phỏng toàn bộ hệ thống máy tính. VDM là một mã nguồn của chương trình Vienna Development Method.
Định dạng tập tin VDM chứa các mã được viết bằng ngôn ngữ kỹ thuật VDM-SL hoặc VDM++.