Программы sf.net/projects/vdmj/

VDMJ обеспечивает базовую поддержку инструментов для языков спецификаций VDM-SL, VDM и VDM-RT, написанных на Java. Она включает в себя парсер, тип шашки, переводчик, отггер и доказательство обязательства генератора. Он исполь