![](/statics/img/blank.png)
VDMJ
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 4.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang VDMJ
VDMJ menyediakan dukungan alat dasar untuk bahasa spesifikasi VDM-SL, VDM++ dan VDM-RT, yang ditulis dalam bahasa Jawa. Ini termasuk parser, pemeriksa tipe, penerjemah, debugger, dan generator kewajiban bukti. Ini digunakan oleh proyek gerhana Overture.