Lite Verifier
Propositional Interval temporal logic のタブロー展開を用いた検証系です。従来は Prolog で記述していましたが、Java に書き直しました。
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.
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.