Model Checking C Programs with Dynamic Memory Allocation.

Mara-del-Mar Gallardo, Pedro Merino, David Sann

Browse the full COMPSAC paper archive.