Symbolic Visibly Pushdown Automata.

Loris D'Antoni, Rajeev Alur

Browse the full CAV paper archive.