PRISM: A Tool for Automatic Verification of Probabilistic Systems

A Hinton; Marta Kwiatkowska; Gethin Norman; David Parker; H Hermanns; J Palsberg

PRISM: A Tool for Automatic Verification of Probabilistic Systems

A Hinton, Marta Kwiatkowska, Gethin Norman, David Parker, H Hermanns, J Palsberg

Computer Science

Research output: Contribution to conference (unpublished) › Paper

494 Citations (Scopus)

Original language	English
Pages	441-444
Number of pages	4
Publication status	Published - 1 Jan 2006
Event	Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06) - Duration: 1 Jan 2006 → …

Conference

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

Cite this

@conference{4815d3b9ef0248289fa7a9a7abe096d0,

title = "PRISM: A Tool for Automatic Verification of Probabilistic Systems",

author = "A Hinton and Marta Kwiatkowska and Gethin Norman and David Parker and H Hermanns and J Palsberg",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "441--444",

note = "Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06) ; Conference date: 01-01-2006",

}

TY - CONF

T1 - PRISM: A Tool for Automatic Verification of Probabilistic Systems

AU - Hinton, A

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

AU - Hermanns, H

AU - Palsberg, J

PY - 2006/1/1

Y1 - 2006/1/1

M3 - Paper

SP - 441

EP - 444

T2 - Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06)

Y2 - 1 January 2006

ER -