Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
model checker |
| gptkbp:application |
formal verification
|
| gptkbp:citation |
The Storm model checker
|
| gptkbp:developer |
gptkb:RWTH_Aachen_University
|
| gptkbp:feature |
gptkb:graphical_user_interface
modular architecture multi-core support API for Python explicit model checking sparse matrix engine symbolic model checking |
| gptkbp:firstReleased |
2017
|
| gptkbp:format |
gptkb:JANI
gptkb:PRISM generalized stochastic Petri nets explicit-state |
| gptkbp:hasModel |
gptkb:stochastic_Petri_nets
Markov chain probabilistic automata |
| https://www.w3.org/2000/01/rdf-schema#label |
Storm model checker
|
| gptkbp:license |
gptkb:GPLv3
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:programmingLanguage |
gptkb:Python
gptkb:C++ |
| gptkbp:supportsPropertyType |
probabilistic temporal logic
reward properties |
| gptkbp:website |
https://www.stormchecker.org/
|
| gptkbp:bfsParent |
gptkb:PRISM_model_checker
|
| gptkbp:bfsLayer |
7
|