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

Show Help for PIP Language (in new window)

2drwalk alain.c bayesian ber bin C4B_t09 C4B_t13 C4B_t15 C4B_t19 C4B_t30 C4B_t61 C4B_t132 complex complex2 condand cooling coupon cousot9 cowboy_duel cowboy_duel_3way ex_paper1.c fcall fib_exp_size fig4 fig5 fig6 filling geo geo_race hyper knuth_morris_pratt.c leading leading.1 linear01 miner multirace multirace2 neg_init_upd nested_break nested_rdwalk nested_size no_loop nondet_countdown pol04 pol05 pol06 pol07 prdwalk prnes prob_loop prseq prseq2 prseq_bin prspeed race rank3.c rdbub rdseql rdseql2 rdspeed rdwalk realheapsort rfind_lv rfind_mc robot roulette sampling selectsort simple_nested simple_recursive spctrm sprdwalk trader trunc_selectsort two_arrays2
Accepted file formats: koat

Version koat2-expected-runtime
Disclaimer