Smart contract bugs are increasingly attracting attention, however, smart contract verification is challenging. The Azure Blockchain Platform has now adopted VeriSol, a smart contract verification tool from Microsoft Research, which should help.