Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
| Title | Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Baier, C, Daum, M, Engel, B, Härtig, H, Klein, J, Klüppelholz, S, Märcker, S, Tews, H, Völp, M |
| Conference Name | Systems Software Verification, 7th Conference, SSV12 |
| Publisher | EPTCS |
| DOI | 10.4204/EPTCS.102.14 |
Work Package:
WP1
