プログラム sites.google.com/site/stpfastprover/

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