A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions
Sanjit A. Seshia, Shuvendu K. Lahiri, and Randal E. Bryant. A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions. In 40th Design Automation Conference (DAC '03), pp. 425–430, June 2003.
Download
Abstract
(unavailable)
BibTeX
@InProceedings{seshia-dac03, author = "Sanjit A. Seshia and Shuvendu K. Lahiri and Randal E. Bryant", title = "A Hybrid {SAT}-Based Decision Procedure for Separation Logic with Uninterpreted Functions", booktitle = "{40th Design Automation Conference (DAC '03)}", month = "June", year = "2003", pages = "425--430", }