Samuel Teuber
Samuel Teuber
About Me
Work
Programmierparadigmen
Pittsburgh
Posts
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.
Cite
×