У меня вопрос по поводу VDM++ и VDM-sl инструмента. Существует ли какой-либо инструмент, в котором мы просто напишем пример с требованием, и он преобразуется в язык формальной спецификации на основе VDM.
VDM++
VDM-sl
VDM