AProVE

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