Probabilistic symbolic model checking with PRISM: A hybrid approach

Marta Kwiatkowska; Gethin Norman; David Parker

Probabilistic symbolic model checking with PRISM: A hybrid approach

Marta Kwiatkowska, Gethin Norman, David Parker

Computer Science

Research output: Contribution to conference (unpublished) › Paper

95 Citations (Scopus)

Original language	English
Pages	52-66
Number of pages	15
Publication status	Published - 1 Jan 2002
Event	8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), Apr 08-12, 2002. GRENOBLE, France - Duration: 1 Jan 2002 → …

Conference

Conference	8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), Apr 08-12, 2002. GRENOBLE, France
Period	1/01/02 → …

Cite this

@conference{508513c4ac9d4eae9055bd1016d52c5e,

title = "Probabilistic symbolic model checking with PRISM: A hybrid approach",

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

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "52--66",

note = "8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), Apr 08-12, 2002. GRENOBLE, France ; Conference date: 01-01-2002",

}

TY - CONF

T1 - Probabilistic symbolic model checking with PRISM: A hybrid approach

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Paper

SP - 52

EP - 66

T2 - 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), Apr 08-12, 2002. GRENOBLE, France

Y2 - 1 January 2002

ER -