AProVE
The indicated example could not be found.

This is the KoAT2 Web Interface for the paper "Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes".

Analysis of Probabilistic Integer Programs


Version koat2-expected-runtime
Disclaimer