Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
A formal approach for the quantiative assessment of service-oriented software which combines high-level software architecture modelling with deductive verification.
8. Jan 2024
Quantifying Software Reliability via Model-Counting
We present and evaluate a pipeline allowing for the quantification of C-programs according to their specification adherence.
23. Aug 2021