A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions (2003)

by Sanjit A. Seshia , Shuvendu K. Lahiri , Randal E. Bryant
Venue:In Proc. DAC’03
Citations:46 - 4 self