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/0228/06/02

Funding

  • QINETIQ LTD