A K-Induction Method Extended with Value Analysis for C Program Safety Verification.

Hui Guo, Chunyan Hou, Jinsong Wang, Chen Chen

Browse the full TrustCom paper archive.