An Abstract Domain for Bit-Vector Inequalities⋆ Tushar Sharma1 , Aditya Thakur1 , and Thomas Reps1,2 1 University of Wisconsin; Madison, WI, USA 2 - ADITYA - Document - PDFSEARCH.IO

First Page	Meta Content
	An Abstract Domain for Bit-Vector Inequalities⋆ Tushar Sharma1 , Aditya Thakur1 , and Thomas Reps1,2 1 University of Wisconsin; Madison, WI, USA 2 Add to Reading List Document Date: 2013-04-18 10:33:36 Open Document File Size: 229,37 KB Share Result on Facebook

An Abstract Domain for Bit-Vector Inequalities⋆ Tushar Sharma1 , Aditya Thakur1 , and Thomas Reps1,2 1 University of Wisconsin; Madison, WI, USA 2Add to Reading List