An Abstraction-Based Decision Procedure for Bit-Vector Arithmetic
Randal E. Bryant, Daniel Kroening, Joel Ouaknine, Sanjit A. Seshia, Ofer Strichman, and Bryan Brady. An Abstraction-Based Decision Procedure for Bit-Vector Arithmetic . International Journal on Software Tools for Technology Transfer (STTT) , 11(2):95–104, 2009.
Download
Abstract
(unavailable)
BibTeX
@Article{bryant-sttt08, AUTHOR = { Bryant, Randal E. and Kroening, Daniel and Ouaknine, Joel and Seshia, Sanjit A. and Strichman, Ofer and Brady, Bryan }, TITLE = { An Abstraction-Based Decision Procedure for Bit-Vector Arithmetic }, JOURNAL = { International Journal on Software Tools for Technology Transfer (STTT) }, YEAR = {2009}, volume = {11}, number = {2}, pages = {95--104}, }