A Correctness Verification Method for C Programs Based on VCC | IEEE Conference Publication | IEEE Xplore