![](/statics/img/blank.png)
VDMJ
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 4.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
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.