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. |
Public Areas
|
Latest NewsObserver-Based Prover - OBP 0.1.0 releasedPhilippe Dhaussy - 2007-07-31 16:06 -
0 Comment Read More/Comment
|
