Approximating Predicate Images for Bit−Vector Logic
Daniel Kroening and Natasha Sharygina
Book Title
Proceedings of TACAS 2006
Pages
242–256
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3920
Year
2006
Daniel Kroening and Natasha Sharygina