Skip to main content

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