Diagnosing Abstraction Failure for Separation Logic-based Analyses

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

Details

Publication typeInproceedings
Published inProceedings of the 24th International Conference on Computer Aided Verification (CAV)
PublisherSpringer

Previous versions

Josh Berdine, Arlen Cox, Samin Ishtiaq, and Christoph M. Wintersteiger. Diagnosing Abstraction Failure for Separation Logic-based Analyses, April 2012.

> Publications > Diagnosing Abstraction Failure for Separation Logic-based Analyses