79 citations · 87 across the 9 of their papers we have counts for
1 paper · 2 filters
Ezio Bartocci, Laura Kovács, Miroslav Stankovič
One of the main challenges in the analysis of probabilistic programs is to compute invariant properties that summarise loop behaviours. Automation of invariant generation is still…