OSDN -- オープンソース・ソフトウェアの開発とダウンロード
日本語の翻訳状況 translation status for ja

RSS
ダウンロードリスト

プロジェクト概要

STP（Simple Theorem Prover） ：プログラム解析ツール、テスト生成ツール、モデル検査器、バグ発見器、ハードウェア/ソフトウェアに対する形式検証ツール、インテリジェント fuzzer などの出力である論理式や制約についての制約ソルバ/決定手続き

システム要件

オペレーティングシステム: Linux

ダウンロードパッケージ一覧

最新ファイル(5件)
名前 サイズ 日付 ダウンロード数
simplifyingSTP_1022.tar.gz 2.8 MB 2010-09-24 09:50 14
readme.txt 0.3 KB 2010-07-12 15:17 32
simplifyingSTP.pdf 101.0 KB 2010-07-12 15:12 89
simplifyingSTP.tar.gz 2.6 MB 2010-07-12 15:12 10
stp-ver-0.1-11-18-2008.tgz 17.9 MB 2008-11-19 03:53 35
その他全ファイル
simplifyingSTP r1022
simplifyingSTP_1022.tar.gz2.8 MB2010-09-24 09:5014
simplifyingSTP
readme.txt0.3 KB2010-07-12 15:1732
simplifyingSTP.pdf101.0 KB2010-07-12 15:1289
simplifyingSTP.tar.gz2.6 MB2010-07-12 15:1210
stp-fast-prover
stp-ver-0.1
stp-ver-0.1-11-18-2008.tgz17.9 MB2008-11-19 03:5335
OldFiles
stp-ver-0.1-02-26-2008.tar.gz19.4 MB2008-02-27 07:303