Description du projet

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

Évaluation
Votre évaluation
Votre avis sur ce projet

Statistiques

Activités récentes

2009-04-14
18:56
Lite Verifier
[CVS] New commit
2008-02-21
17:17
Lite Verifier
[CVS] New commit
Afficher l'historique