開發者 est.sf.net

高效符號工具組 （EST） 是基於 BDD 的工具，用於正式驗證併發系統。其優點是靈活性、便攜性和高效的記憶體管理。它在不同的作業系統下運行，包括 Linux 和 Windows 2000/XP。