Enhance the Probalistic Symbolic Model Checker Tool, Known as PRISM

  • Kwiatkowska, Marta (Principal Investigator)

Project Details

Short titleEnhance the Probalistic Symbolic Model Checker Tool, Known as PRISM
StatusFinished
Effective start/end date1/03/02 → 28/06/02

Funding

  • QINETIQ LTD