PRISM: A tool for automatic verification of probabilistic systems

A Hinton, Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished)Paper

494 Citations (Scopus)
Original languageEnglish
Pages441-444
Number of pages4
Publication statusPublished - 1 Jan 2006
Event12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 25-Apr 02, 2006. Vienna, Austria -
Duration: 1 Jan 2006 → …

Conference

Conference12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 25-Apr 02, 2006. Vienna, Austria
Period1/01/06 → …

Cite this