research
∙
09/14/2023
A Deductive Verification Infrastructure for Probabilistic Programs
This paper presents a quantitative program verification infrastructure f...
share
research
∙
05/28/2021
Latticed k-Induction with an Application to Probabilistic Programs
We revisit two well-established verification techniques, k-induction and...
research
∙
04/30/2020
