Что такое VDMTools?
VDMTools - это набор инструментов для разработки программного обеспечения, поддерживающий Венский метод разработки (VDM), формальный язык спецификаций, используемый в инженерии критически важного ПО. Разработанный корпорацией CSK в Японии, он включает в себя средство проверки типов, интерпретатор и возможности генерации кода для спецификаций VDM-SL, VDM++ и VDM-RT.
Файлы, которые открывает VDMTools
Developer Files
Нажмите на любой значок для получения полной информации о формате - что это такое, как его открыть и как его конвертировать.
Скачать VDMTools
ИСТОЧНИКwww.vdmtools.jpофициальный сайт - избегайте сторонних порталов загрузки
