Equivalence checking of C programs by locally performing symbolic simulation on dependence graphs | IEEE Conference Publication | IEEE Xplore