Automating the verification of smart contracts in blockchain networks for improving security* | IEEE Conference Publication | IEEE Xplore