Microsoft Research
Microsoft Translator |
Diagnosing Abstraction Failure for Separation Logic--based Analyses

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

2012 CAV Diagnosing Abstraction Failure TR.pdf
PDF file

Details

TypeTechReport
NumberMSR-TR-2012-44
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Diagnosing Abstraction Failure for Separation Logic--based Analyses