Is My Software Consistent with the Real World? | IEEE Conference Publication | IEEE Xplore