Quantification

Quantifying Software Reliability via Model-Counting

We present and evaluate a pipeline allowing for the quantification of C-programs according to their specification adherence.