AProVE

This is the KoAT2 Web Interface for the paper "Computing Expected Runtimes for Constant Probability Programs".

Analysis of Constant Probability Programs

Show Help for CP Language (in new window)

asymmetric_random_walk direct_termination_non_constant_runtime example_with_complex_roots FalseDirectTerm higher_multiplicity input_format irrational_runtime modified_univariate_race_of_tortoise_and_hare negative_binomial_loop NotAST NotPAST symmetric_random_walk test tortoise_hare tortoise_hare_direct_termination tortoise_hare_univariate tortoise_hare_univariate_direct_termination
Accepted file formats: koat

Version koat2-exact-runtime
Disclaimer