Piecewise Analysis of Probabilistic Programs via $k$-Induction

Tengshun Yang, Shenghua Feng, Hongfei Fu +3

In probabilistic program analysis, quantitative analysis aims at deriving tight numerical bounds for probabilistic properties such as expectation and assertion probability. Most pr…