Efficient Symbolic Tools
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 3.5/5 - 8 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang Efficient Symbolic Tools
Paket Alat Simbolis Efisien (EST) adalah alat berbasis BDD untuk verifikasi formal sistem serentak. Keunggulannya adalah fleksibilitas, portabilitas, dan manajemen memori yang efisien. Ini berjalan di bawah OS yang berbeda, termasuk Linux dan Windows 2000 / XP.