An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools | IEEE Conference Publication | IEEE Xplore