Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Browse the full ESOP paper archive.