PRISM 4.0: Verification of probabilistic realtime systems (2011)

by M Kwiatkowska, G Norman, D Parker
Venue:In Proc. 23rd International Conference on Computer Aided Verification (CAV’11), volume 6806 of LNCS