An interpolating decision procedure for transitive relations with uninterpreted functions
Avi Ziv · 2009
Citation: Kroening, D. & Weissenbacher, G. (2011) An interpolating decision procedure for transitive relations with uninterpreted functions. In: Namjoshi, K., Zeller, A. & Ziv, A. (eds.) Hardware and software: Verification and Testing. 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6405, pp. 150-168.