Samuel Teuber
Samuel Teuber
About Me
Research
Teaching
Blog
Quantification
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.
Florian Lanzinger
,
Christian Martin
,
Frederik Reiche
,
Samuel Teuber
,
Robert Heinrich
,
Alexander Weigl
PDF
Cite
DOI
Quantifying Software Reliability via Model-Counting
We present and evaluate a pipeline allowing for the quantification of C-programs according to their specification adherence.
Samuel Teuber
,
Alexander Weigl
PDF
Cite
Code
Video
Experiments
DOI / Springer
Cite
×