ダウンロードリスト

プロジェクト概要

Propositional Interval temporal logic のタブロー展開を用いた検証系です。従来は
Prolog で記述していましたが、Java に書き直しました。

システム要件

システム要件が設定されていません

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

パッケージがありません