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

Accepted file formats: koat

Version koat2-expected-runtime
Disclaimer