![](/statics/img/blank.png)
VDMJ
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 4.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang VDMJ
VDMJ menyediakan sokongan alat asas untuk bahasa spesifikasi VDM-SL, VDM++ dan VDM-RT, yang ditulis dalam Jawa. Ia termasuk penghuraian, pemeriksa jenis, jurubahasa, penyahpepijat dan penjana kewajipan bukti. Ia digunakan oleh projek gerhana overture.