Atur cara mengikut est.sf.net

Pakej Alat Simbolik Cekap (EST) adalah alat berasaskan BDD untuk pengesahan rasmi sistem serenjen. Kelebihannya adalah fleksibiliti, mudah alih dan pengurusan ingatan yang cekap. Ia berjalan di bawah OS yang berbeza, termasuk