Model Checking C Programs with Dynamic Memory Allocation | IEEE Conference Publication | IEEE Xplore