Download
Desenvolver
Conta
Download
Desenvolver
Login
Forgot Account/Password
Criar Conta
Linguagem
Ajuda
Linguagem
Ajuda
×
Login
Nome de acesso
Senha
×
Forgot Account/Password
Estado tradução de Português
Category:
Software
People
PersonalForge
Magazine
Wiki
Pesquisa
OSDN
>
Pesquisar Software
>
Lite Verifier
>
lista de arquivos para download
Lite Verifier
Descrição
Project Summary
Developer Dashboard
Página da Web
Developers
Image Gallery
List of RSS Feeds
Activity
Statistics
Histórico
Downloads
List of Releases
Stats
Código Fonte
Code Repository list
Subversion
Visualizar Repositório
CVS
Visualizar Repositório
Tíquete
Ticket List
Milestone List
Type List
Lista de componentes
List of frequently used tickets/RSS
Submit New Ticket
Documents
FrontPage
Title index
Recent changes
Communication
Fóruns
List of Forums
Ajuda (1)
Open Discussion (1)
Mailing Lists
list of ML
News
RSS
Download List
Projeto Descrição
Propositional Interval temporal logic のタブロー展開を用いた検証系です。従来は
Prolog で記述していましたが、Java に書き直しました。
System Requirements
System requirement is not defined
Resenha
Average
0.0
0 total
5 Stars
0
4 Stars
0
3 Stars
0
2 Stars
0
1 Star
0
Your rating
Review this project
×
Your rating on Lite Verifier
Your rating?
You are not logged in. To discriminate your posts from the rest, you need to pick a nickname. (The uniqueness of nickname is not reserved. It is possible that someone else could use the exactly same nickname. If you want assurance of your identity, you are recommended to login before posting.)
Login
Nickname
General comment (Required)
Pros
Cons
Download Package list
No Packages
