Project Description

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

Review
Your rating
Review this project

Statistics

Recent Activities

2009-04-14
18:56
Lite Verifier
[CVS] New commit
2008-02-21
17:17
Lite Verifier
[CVS] New commit
16:44
Lite Verifier
16:44
Lite Verifier
Show history