Efficient Reachability Analysis of Bchi Pushdown Systems for Hardware/Software Co-verification.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin

Browse the full CAV paper archive.