Robert B. Ash
1970
Basic Probability Theory
John Wiley & Sons
Christel Baier
Joost-Pieter Katoen
2008
Principles of Model Checking
The MIT Press
Patrick Billingsley
1995
Probability and Measure
John Wiley & Sons
Costas Courcoubetis
Mihalis Yannakakis
1995
The Complexity of Probabilistic Verification
Journal of the ACM
42
4
857–907
10.1145/210332.210339
John G. Kemeny
J. Laurie Snell
Anthony W. Knapp
1966
Denumerable Markov Chains
Van Nostrand
Esteban Pavese
Victor Braberman
Sebastian Uchitel
2010
My Model Checker Died!: how well did it do?
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
ACM
Cape Town
33–40
10.1145/1808877.1808884
Giuseppe Della Penna
Benedetto Intrigila
Igor Melatti
Enrico Tronci
Marisa Venturini Zilli
2006
Finite Horizon Analysis of Markov Chains with the Murφ Verifier
International Journal on Software Tools for Technology
8
4/5
397–409
10.1007/s10009-005-0216-7
Wilson A. Sutherland
1975
Introduction to Metric and Topological Spaces
Clarendon Press
Willem Visser
Klaus Havelund
Guillaume Brat
SeungJoon Park
Flavio Lerda
2003
Model Checking Programs
Automated Software Engineering
10
2
203–232
10.1023/A:1022920129859
Xin Zhang
Franck van Breugel
2010
Model Checking Randomized Algorithms with Java PathFinder
Proceedings of 7th International Conference on Quantitative Evaluation of Systems
IEEE
Williamburgh
157–158
10.1109/QEST.2010.28
Xin Zhang
Franck van Breugel
2011
A Progress Measure for Explicit-State Probabilistic Model-Checkers
Luca Aceto
Monika Henzinger
Jir\'ıSgall
Proceedings of the 38th International Colloquium on Automata, Languages and Programming
Lecture Notes in Computer Science
6756
Springer-Verlag
Zurich
283–294
10.1007/978-3-642-22012-8_22