| Title: | Deciding Bit-Vector Arithmetic with Abstraction |
|---|---|
| Links: | Document as PDF |
| Authors: | Randal E. Bryant |
| Daniel Kroening EMail | |
| Joel Ouaknine | |
| Sanjit A. Seshia | |
| Ofer Strichman | |
| Bryan Brady | |
| Remarks: | |
| Topics: |
Bibtex:
@article{bkossb2008-sttt,
AUTHOR = { Bryant, Randal E.
and Kroening, Daniel
and Ouaknine, Joel
and Seshia, Sanjit A.
and Strichman, Ofer
and Brady, Bryan },
TITLE = { Deciding Bit-Vector Arithmetic with Abstraction },
NOTE = { To appear. },
YEAR = { 2008 },
PUBLISHER = { Springer },
JOURNAL = { Software Tools for Technology Transfer (STTT) },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.