Lite Verifier

Propositional Interval temporal logic のタブロー展開を用いた検証系です。従来は
Prolog で記述していましたが、Java に書き直しました。
Submit Bugs
Mail List
To download files like Lite Verifier's latest release, go to the download file list page of Lite Verifier. Once you select a file name, the downloading process will begin.
OSDN's Projects

To all developers of Lite Verifier

This page is a skeleton web page which was automatically set up by OSDN system. The purpose of this page is to encourage the full use of the project web.

You can use the project web area to freely build Web sites to provide project information. For more details on the functions and rules of the project Web and how to use it, please read the documents regarding web site hosting.


OSDNGroup Sites
SRAD | OSDN Corporation