cfaed Publications
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Reference
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp, "Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code", In Proceeding: Proc. of the 7th Conference on Systems Software Verification (SSV'12), vol. 102, pp. 156–166, 2012.
Bibtex
@inproceedings{BDEHKKMTV-SSV12,
author = {Christel Baier, Marcus Daum, Benjamin Engel, Hermann H{\"a}rtig, Joachim Klein, Sascha Kl{\"u}ppelholz, Steffen M{\"a}rcker, Hendrik Tews and Marcus V{\"o}lp},
title = {Chiefly Symmetric: Results on the Scalability
of Probabilistic Model Checking for Operating-System Code},
booktitle = {Proc. of the 7th Conference on
Systems Software Verification (SSV'12)},
year = {2012},
pages = {156--166},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {102},
ee = {http://dx.doi.org/10.4204/EPTCS.102.14}
}
author = {Christel Baier, Marcus Daum, Benjamin Engel, Hermann H{\"a}rtig, Joachim Klein, Sascha Kl{\"u}ppelholz, Steffen M{\"a}rcker, Hendrik Tews and Marcus V{\"o}lp},
title = {Chiefly Symmetric: Results on the Scalability
of Probabilistic Model Checking for Operating-System Code},
booktitle = {Proc. of the 7th Conference on
Systems Software Verification (SSV'12)},
year = {2012},
pages = {156--166},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {102},
ee = {http://dx.doi.org/10.4204/EPTCS.102.14}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=61