VDMJ

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Circa VDMJ

VDMJ fornisce il supporto degli strumenti di base per i linguaggi di specifica VDM-SL, VDM++ e VDM-RT, scritti in Java. Include un parser, un controllo dei tipi, un interprete, un debugger e un generatore di obblighi di prova. È utilizzato dal progetto Eclipse di Ouverture.