PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems.

Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba

Browse the full ATVA paper archive.