PRISM: Probabilistic symbolic model checker

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished)Paper

354 Citations (Scopus)
Original languageEnglish
Pages200-204
Number of pages5
Publication statusPublished - 1 Jan 2002
Event12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS 2002), Apr 14-17, 2002. LONDON, England -
Duration: 1 Jan 2002 → …

Conference

Conference12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS 2002), Apr 14-17, 2002. LONDON, England
Period1/01/02 → …

Cite this