Beaver: Engineering an Efficient SMT Solver for Bit-Vector Artithmetic
Susmit Jha, Rhishikesh Limaye, and Sanjit A. Seshia. Beaver: Engineering an Efficient SMT Solver for Bit-Vector Artithmetic. In Proc. 21st International Conference on Computer-Aided verification (CAV), pp. 668–674, Lecture Notes in Computer Science 5643, June 2009.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{jha-cav09, author = {Susmit Jha and Rhishikesh Limaye and Sanjit A. Seshia}, title = {{Beaver:} Engineering an Efficient SMT Solver for Bit-Vector Artithmetic}, booktitle = {Proc. 21st International Conference on Computer-Aided verification (CAV)}, series = {Lecture Notes in Computer Science}, volume = {5643}, year = {2009}, month = {June}, pages = {668--674}, }