A Complete Bounded Model Checking Algorithm for Pushdown Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gérard Basler, Daniel Kroening, Georg Weissenbacher. A Complete Bounded Model Checking Algorithm for Pushdown Systems. In Karen Yorav, editor, Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings. Volume 4899 of Lecture Notes in Computer Science, pages 202-217, Springer, 2007. [doi]

This author has not been identified. Look up 'Gérard Basler' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Georg Weissenbacher' in Google

runs on WebDSL