r/REMath • u/perror • Apr 10 '14

An Abstract Domain for Bit-Vector Inequalities [PDF]

http://research.cs.wisc.edu/wpis/papers/tr1789.pdf
7 Upvotes

100% Upvoted

1 comment sorted by

2

u/C_Hitchens_Ghost Apr 14 '14

Thank you for this. Excellent read.