PRISM: Probabilistic symbolic model checker (2001)

by M Kwiatkowska, G Norman, D Parker
Venue:University of Dortmund