Logic representation of programs to detect arithmetic anomalies | IEEE Conference Publication | IEEE Xplore