Project Details
Short title | Enhance the Probalistic Symbolic Model Checker Tool, Known as PRISM |
---|---|
Status | Finished |
Effective start/end date | 1/03/02 → 28/06/02 |
Funding
- QINETIQ LTD
Short title | Enhance the Probalistic Symbolic Model Checker Tool, Known as PRISM |
---|---|
Status | Finished |
Effective start/end date | 1/03/02 → 28/06/02 |