|
[BDE+12b]
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus Völp.
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code.
In Proc. 7th Conference on Systems Software Verification (SSV'12), volume 102 of EPTCS.
2012.
[Investigates symmetry reduction techniques for probabilistic model checking using models built with PRISM and an extension of it.]
|
|
Links:
[Google]
[Google Scholar]
|