Project Details
Short title | Enhance the Probalisitic Symbolic Model Checker Tool, Known as PRISM |
---|---|
Status | Finished |
Effective start/end date | 1/07/02 → 31/10/02 |
Funding
- QINETIQ LTD
Short title | Enhance the Probalisitic Symbolic Model Checker Tool, Known as PRISM |
---|---|
Status | Finished |
Effective start/end date | 1/07/02 → 31/10/02 |