Ranking Function Synthesis for Bit-Vector Relations

Byron Cook, Daniel Kroening, Philipp Rümmer, and Christoph M. Wintersteiger

Details

Publication typeInproceedings
Published inProceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Pages236–250
Number6015
SeriesLNCS
PublisherSpringer
> Publications > Ranking Function Synthesis for Bit-Vector Relations