Skip to main content

An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions

Daniel Kroening and Georg Weissenbacher

Book Title
Proceedings of the 5th Haifa Verification Conference
Editor
Kedar Namjoshi and Andreas Zeller
Location
Haifa‚ Israel
Note
This work was also presented at the UNU IIST seminar in Macau (click here for slides) in January 2010.
Publisher
Springer
Series
LNCS
Year
2010