Verifying provisions for post-transaction user input error correction through static program analysis | IEEE Conference Publication | IEEE Xplore