STP(簡單定理證明器):一個約束求解器/決策程式,接受由程式分析/測試生成工具、模型檢查器、錯誤查找器、硬體/軟體正式驗證工具、智慧模糊器生成的公式或約束
版本歷史記錄
- 版本 simplifyingSTP%20r1022 發佈於 2010-09-24
若干修復和更新 - 版本 simplifyingSTP r1022 發佈於 2010-09-24
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: sites.google.com/site/stpfastprover/
- 軟體性質: 免費
- 價格: N/A
- 版本: 1022
- 作業系統: linux