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

[pdf] 

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},
}