Quantifying Software Reliability via Model-Counting

@inproceedings{TeuberWeigl2021_1000138400,
    author       = {Samuel Teuber and Alexander Weigl},
    year         = {2021},
    month        = aug,
    title        = {Quantifying Software Reliability via Model-Counting},
    pages        = {59-79},
    eventtitle   = {18th International Conference on the Quantitative Evaluation of Systems},
    eventtitleaddon = {QEST 2021},
    eventdate    = {2021-08-23/2021-08-27},
    venue        = {Online},
    booktitle    = {Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings. Ed.: A. Abate},
    doi          = {10.1007/978-3-030-85172-9_4},
    publisher    = {{Springer Verlag}},
    issn         = {0302-9743, 1611-3349},
    series       = {Lecture Notes in Computer Science (LNCS)},
    language     = {english},
    volume       = {12846}
}