Diagnosing Abstraction Failure for Separation Logic-based Analyses

Josh Berdine, Arlen Cox, Samin Ishtiaq, and Christoph M. Wintersteiger

Details

Publication typeTechReport
NumberMSR-TR-2012-44
> Publications > Diagnosing Abstraction Failure for Separation Logic-based Analyses