Projektbeschreibung

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

Bewertung
Ihr Bewertung
Rezensionen verfassen

Statistiken

Kürzliche Aktivitäten

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
Historie anzeigen