다운로드
소프트웨어 개발
계정
다운로드
소프트웨어 개발
Login
Forgot Account/Password
계정 만들기
언어
도움
언어
도움
×
Login
Login Name
Password
×
Forgot Account/Password
Translation Status of 한국말
Category:
Software
People
PersonalForge
Magazine
Wiki
검색
OSDN
>
브라 우즈 소프트웨어
>
Lite Verifier
>
다운로드 파일 목록
Lite Verifier
Description
Project Summary
Developer Dashboard
웹 페이지
Developers
Image Gallery
List of RSS Feeds
Activity
Statistics
History
다운로드
List of Releases
Stats
소스 코드
Code Repository list
Subversion
View Repository
CVS
View Repository
티켓
Ticket List
Milestone List
Type List
Component List
List of frequently used tickets/RSS
Submit New Ticket
Documents
FrontPage
Title index
Recent changes
Communication
포럼
List of Forums
도움 (1)
Open Discussion (1)
Mailing Lists
list of ML
News
RSS
Download List
프로젝트 설명
Propositional Interval temporal logic のタブロー展開を用いた検証系です。従来は
Prolog で記述していましたが、Java に書き直しました。
System Requirements
System requirement is not defined
Review
Average
0.0
0 Reviews
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
