Diagnosing Abstraction Failure for Separation Logic--based Analyses

2012 CAV Diagnosing Abstraction Failure TR.pdf
PDF file

In  Proceedings of the 24th International Conference on Computer Aided Verification (CAV)

Publisher  Springer

Details

TypeInproceedings

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