A hybrid SAT-based decision procedure for separation logic with uninterpreted functions.

Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant

Browse the full DAC paper archive.