GOV: A Verification Method for Smart Contract Gas-Optimization | IEEE Conference Publication | IEEE Xplore