Skip to main navigation Skip to search Skip to main content

Enhance the Probalisitic Symbolic Model Checker Tool, Known as PRISM

  • Kwiatkowska, Marta (Principal Investigator)

Project Details

Short titleEnhance the Probalisitic Symbolic Model Checker Tool, Known as PRISM
StatusFinished
Effective start/end date1/07/02 → 31/10/02

Funding

  • QINETIQ LTD