Overture Tools 3.0.2 — для создания и анализа моделей на языке VDM

 

Бесплатная интегрированная среда разработки (IDE), предназначенная для создания и анализа моделей на языке VDM (Vienna Development Method — «Венский метод разработки»). VDM представляет собой ориентированный на модели формальный метод разработки вычислительных систем и программного обеспечения. Он включает в себя набор математических языков и инструментов, позволяющих описывать и анализировать системные модели на ранних этапах проектирования.

Сайт: github.com/overturetool/overture
Лицензия: бесплатно
Язык интерфейса: Английский
ОС: Windows 7 – 11
Скачать: Overture Tools 3.0.2