高效符號工具組 （EST） 是基於 BDD 的工具，用於正式驗證併發系統。其優點是靈活性、便攜性和高效的記憶體管理。它在不同的作業系統下運行，包括 Linux 和 Windows 2000/XP。
版本歷史記錄
- 版本 N/A 發佈於 2006-10-09
若干修復和更新 - 版本 N/A 發佈於 2006-10-09
軟體細節
- 軟體分類： 通信 > 其他
- 發佈者： est.sf.net
- 軟體性質： 免費
- 價格： N/A
- 版本： Array
- 作業系統： windows
高效符號工具組 （EST） 是基於 BDD 的工具，用於正式驗證併發系統。其優點是靈活性、便攜性和高效的記憶體管理。它在不同的作業系統下運行，包括 Linux 和 Windows 2000/XP。