POPACheck: A Model Checker for Probabilistic Pushdown Automata.

Francesco Pontiggia, Ezio Bartocci, Michele Chiari

Browse the full CAV paper archive.