Ranking Function Synthesis for Bit-Vector Relations
Byron Cook, Daniel Kroening, Philipp Rümmer, and Christoph M. Wintersteiger
2010
In Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 236–250 |
| Number | 6015 |
| Series | LNCS |
Related People
Share
