euforia: Complete Software Model Checking with Uninterpreted Functions.

Denis Bueno, Karem A. Sakallah

Browse the full VMCAI paper archive.