PRISM: A Tool for Automatic Verification of Probabilistic Systems

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages441-444
Number of pages4
Publication statusPublished - 1 Jan 2006
EventProceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06) -
Duration: 1 Jan 2006 → …

Conference

ConferenceProceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06)
Period1/01/06 → …