Faster Pushdown Reachability Analysis with Applications in Network Verification.

Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba, Juan Vanerio, Ingo van Duijn

Browse the full ATVA paper archive.