STP 1022

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 2.8/5 - ‎14 ‎投票

に関しては STP

STP(シンプル定理Prover):プログラム分析/テスト生成ツール、モデルチェッカー、バグファインダー、ハードウェア/ソフトウェアフォーマル検証ツール、インテリジェントファザによって生成された式または制約を受け入れる制約ソルバー/決定手順