Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.

Ezio Bartocci, Laura Kovcs, Miroslav Stankovic

Browse the full ATVA paper archive.