PRISM model checker (Q7120322)
Jump to navigation
Jump to search
probabilistic model checker
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PRISM model checker |
probabilistic model checker |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki PRISM model checker