Diagnosing Abstraction Failure for Separation Logic--based Analyses

2012 CAV Diagnosing Abstraction Failure TR.pdf
PDF file

Details

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