Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:citation |
gptkb:Leuschel,_M._&_Butler,_M._(2003)._ProB:_A_Model_Checker_for_B._FME_2003.
|
| gptkbp:developer |
gptkb:Michael_Leuschel
|
| gptkbp:firstReleased |
2003
|
| gptkbp:hasCommandLineInterface |
yes
|
| https://www.w3.org/2000/01/rdf-schema#label |
ProB
|
| gptkbp:interface |
yes
|
| gptkbp:license |
gptkb:EPL_(Eclipse_Public_License)
|
| gptkbp:operatingSystem |
cross-platform
|
| gptkbp:programmingLanguage |
gptkb:Prolog
|
| gptkbp:supports |
gptkb:TLA+
gptkb:Z_notation gptkb:B-Method gptkb:Event-B |
| gptkbp:usedFor |
animation
model checking constraint solving validation of formal models |
| gptkbp:usedIn |
railway industry
safety-critical systems |
| gptkbp:website |
https://www3.hhu.de/stups/prob/
|
| gptkbp:bfsParent |
gptkb:Communicating_Sequential_Processes
gptkb:USC_Heidelberg |
| gptkbp:bfsLayer |
6
|