![](/statics/img/blank.png)
Triple-A 1.4.1
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 5.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 Triple-A
Triple-A (Automatic Analysis with Automata) adalah perpustakaan berfima lengkap untuk automata (terbatas) yang ditulis di Java dengan dua alat analisis yang kuat (berurusan dengan pengecekan model LTL dan aritmatika Presburger) dan antarmuka pengguna grafis yang dibangun di sekitarnya.