Automated Verification of Shape and Size Properties via Separation Logic (2007)

by H H Nguyen, C David, S C Qin, W N Chin
Venue:In Proceedings of the International on Verification, Model Checking, and Abstract Interpretation