most citedData-Driven Invariant Learning for Probabilistic Programs

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2021★ 2 cited

Data-Driven Invariant Learning for Probabilistic Programs

Jialu Bao, Nitesh Trivedi, Drashti Pathak +2

Morgan and McIver's weakest pre-expectation framework is one of the most well-established methods for deductive verification of probabilistic programs. Roughly, the idea is to gene…