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    = {18th International Conference on Quantitative
                    Evaluation of Systems ({QEST} 2021)},
    venue        = {Paris, France},
    editor       = {Alessandro Abate and
                    Andrea Marin},
    doi          = {10.1007/978-3-030-85172-9_4},
    publisher    = {Springer},
    series       = {Lecture Notes in Computer Science},
    volume       = {12846}
}