A Complete Bounded Model Checking Algorithm for Pushdown Systems (Proceedings of HVC 2007, 2007)

(untitled) - Basler, G; Kroening, D; Weissenbacher, G