PRISM: Probabilistic Symbolic Model Checker

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2001
Event	In Proceeding, TOOLS of Aachen 2001 International Multiconference, Technical Report 760/2001 - Duration: 1 Jan 2001 → …

Conference	In Proceeding, TOOLS of Aachen 2001 International Multiconference, Technical Report 760/2001
Period	1/01/01 → …

Cite this

@conference{d7f03a3400d14052a2fd616e1d132e0b,

title = "PRISM: Probabilistic Symbolic Model Checker",

author = "Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2001",

month = jan,

day = "1",

language = "English",

note = "In Proceeding, TOOLS of Aachen 2001 International Multiconference, Technical Report 760/2001 ; Conference date: 01-01-2001",

}