Diagnosing Abstraction Failure for Separation Logic--based Analyses
Josh Berdine, Arlen Cox, Samin Ishtiaq, and Christoph M. Wintersteiger
July 2012
 PDF file |
In Proceedings of the 24th International Conference on Computer Aided Verification (CAV)
Publisher Springer
Details
| Type | Inproceedings |
Previous Versions
Josh Berdine, Arlen Cox, Samin Ishtiaq, and Christoph M. Wintersteiger. Diagnosing Abstraction Failure for Separation Logic--based Analyses, April 2012.
Related Projects
Related People
Related Groups
Related Labs
Share
