Title: | Deciding Bit-Vector Arithmetic with Abstraction |
---|---|
Links: | Homepage Document as PDF |
Authors: | Randal E. Bryant |
Daniel Kroening EMail | |
Joel Ouaknine | |
Sanjit A. Seshia | |
Ofer Strichman | |
Bryan Brady | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{bkossb2007-tacas, 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 }, BOOKTITLE = { Proceedings of TACAS 2007 }, YEAR = { 2007 }, PUBLISHER = { Springer }, PAGES = { 358--372 }, SERIES = { Lecture Notes in Computer Science }, VOLUME = { 4424 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.