Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.

Sumit Gulwani, Ashish Tiwari

Browse the full ESOP paper archive.