×

Found 2 Documents (Results 1–2)

Newest Citations Relevance
Kwiatkowska, Marta; Norman, Gethin; Parker, David

Probabilistic symbolic model checking with PRISM: A hybrid approach. (English) Zbl 1043.68576

Katoen, Joost-Pieter (ed.) et al., Tools and algorithms for the construction and analysis of systems. 8th international conference, TACAS 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Berlin: Springer (ISBN 3-540-43419-4). Lect. Notes Comput. Sci. 2280, 52-66 (2002).
MSC:  68Q60
Cite Review PDF
Full Text: Link
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto

Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. (English) Zbl 0960.68109

Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 395-410 (2000).
MSC:  68Q60
Cite Review PDF

Filter Results by …

Author

Year of Publication

Main Field

all top 3

Software