Using likely program invariants to detect hardware errors | IEEE Conference Publication | IEEE Xplore