![](/statics/img/blank.png)
VDMJ
Lisans: Ücret -siz Dosya boyutu: N/A
Kullanıcı Derecelendirmesi: 4.0/5 - 1 Oy
Lütfen bekleyin... İndirme bağlantınız kötü amaçlı içerik için doğrulanıyor.
5 saniye içinde indirebilirsiniz.
5 saniye içinde indirebilirsiniz.
Hakkı -nda VDMJ
VDMJ, Java ile yazılmış VDM-SL, VDM++ ve VDM-RT belirtim dilleri için temel araç desteği sağlar. Bir parser, bir tip denetleyicisi, bir tercüman, bir hata ayıklayıcı ve bir kanıt yükümlülüğü jeneratör içerir. Uvertür tutulma projesi tarafından kullanılır.