OBPProject summaryObserver-based prover is a model-checker based on observers and context descriptions. OBP can handle accessibility, safety and bounded liveness properties. Observers and models are described with IF2, context with CDL (Context Description Language). No tag defined for this project Registered: 2007-07-02 15:55 Activity Ranking: 0 View project Statistics or Activity View list of RSS feeds available for this project.  |
Latest File Releases
| Package | Version | Date | Notes | Monitor | Download |
|---|---|---|---|---|---|
| obp | 0.1.0 | July 9, 2007 |  |
 |
 |
Public Areas Tracker
 Public Forums (2 messages in 2 forums)
 Mailing Lists (1 public mailing list) Surveys (0 surveys) SCM Repository (CVS: 2,232 commits, 2,867 adds) |
Latest NewsObserver-Based Prover - OBP 0.1.0 releasedPhilippe Dhaussy - 2007-07-31 16:06 -
0 Comment Read More/Comment
|
Project Home Page
DocManager: Project Documentation
Task Manager
Anonymous FTP Space