Counterexamples with Loops for Predicate Abstraction
Daniel Kroening and Georg Weissenbacher
Book Title
Proceedings of CAV 2006
ISBN
3−540−37406−X
Pages
152–165
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4144
Year
2006
Daniel Kroening and Georg Weissenbacher