Title: | Ranking Function Synthesis for Bit-Vector Relations |
---|---|
Links: | Homepage Document as PDF |
Authors: | Byron Cook |
Daniel Kroening EMail | |
Philipp Rümmer | |
Christoph Wintersteiger | |
Remarks: | |
Topics: |
Bibtex:
@article{ckrw2012-fmsd, AUTHOR = { Cook, Byron and Kroening, Daniel and R{\"u}mmer, Philipp and Wintersteiger, Christoph }, TITLE = { Ranking Function Synthesis for Bit-Vector Relations }, YEAR = { 2013 }, PAGES = { 93--120 }, JOURNAL = { Formal Methods in System Design (FMSD) }, VOLUME = { 43 }, MONTH = { March }, NUMBER = { 1 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.