110
click to vote
SIGMETRICS
2008
ACM
15 years 10 days ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...