Описание тега vdm++

Язык для проектирования и спецификации систем, основанный на Венском методе разработки. VDM++ поддерживает объектно-ориентированные и параллельные спецификации. Язык VDM поддерживается программой Overture Tool.