UPPAAL 4.0.6
UPPAAL adalah sebuah lingkungan alat untuk membuat model, validasi dan verifikasi sistem real-time dimodelkan sebagai jaringan automata waktunya, diperpanjang dengan tipe data (integer dibatasi, array, dll).UPPAAL CORA merupakan cabang dari UPPAAL untuk...