Program menurut est.sf.net

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, t