STP(シンプル定理Prover):プログラム分析/テスト生成ツール、モデルチェッカー、バグファインダー、ハードウェア/ソフトウェアフォーマル検証ツール、インテリジェントファザによって生成された式または制約を受け入れる制約ソルバー/決定手順
バージョン履歴
- バージョン simplifyingSTP%20r1022 に転記 2010-09-24
いくつかの修正と更新 - バージョン simplifyingSTP r1022 に転記 2010-09-24
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: sites.google.com/site/stpfastprover/
- ライセンス: 無料
- 価格: N/A
- バージョン: 1022
- プラットフォーム: linux