The Azure Blockchain Platform has adopted VeriSol, a smart contract verification solution from Microsoft Research

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.