22 citations · 22 across the 1 of their papers we have counts for
1 paper · 1 filter
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski +2
This paper presents a quantitative program verification infrastructure for discrete probabilistic programs. Our infrastructure can be viewed as the probabilistic analogue of Boogie…