Source:- cryptonewsbytes.com The Azure Blockchain Platform is taking smart contract verification seriously! Microsoft Research has recently come up with VeriSol, a smart contract verification tool and the Azure Blockchain Platform has adopted this. Blockchain promises much, however, it’s a new and evolving technology. There are challenges that require solutions, e.g., smart contracts bugs that are causing financial losses. Experts forecast that the blockchain technology market will grow up to $23.3 billion by 2023, and smart contracts will likely play a