A Complete Bounded Model Checking Algorithm for Pushdown Systems
Gerard Basler‚ Daniel Kroening and Georg Weissenbacher
Book Title
Proceedings of HVC 2007
ISBN
978−3−540−77964−3
Pages
202–217
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4899
Year
2007