PRISM: Probabilistic Model Checking for Performance and Reliability Analysis. Kwiatkowska, M., Norman, G., & Parker, D. ACM SIGMETRICS Performance Evaluation Review, 36(4):40-45, 2009.
bibtex   
@article{Kwiatkowska:2009,
	Author = {M. Kwiatkowska and G. Norman and D. Parker},
	Journal = {ACM SIGMETRICS Performance Evaluation Review},
	Number = {4},
	Pages = {40-45},
	Title = {PRISM: Probabilistic Model Checking for Performance and Reliability Analysis},
	Volume = {36},
	Year = {2009}}

Downloads: 0