SourceForge.JP -- Develop and Download Open Source Software

Project Description Development Info Web Page

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

Review
Your rating
Review this project

Statistics
Average
0.0
0 Reviews
5 Stars
0
4 Stars
0
3 Stars
0
2 Stars
0
1 Star
0
No Data
Review List

Recent Activities

2009-04-14
18:56
lite-verifier
tach
[CVS] New commit
2008-02-21
17:17
lite-verifier
shinji_kono
[CVS] New commit
16:44
lite-verifier
[Forum] New post on 'Developers'
Welcome to Developers
16:44
lite-verifier
[Forum] New post on 'Help'
Welcome to Help
16:44
lite-verifier
[Forum] New post on 'Open Discussion'
Welcome to Open Discussion
Show history