Microsoft announces VeriSol: Introducing formal smart contract verification for Ethereum https://buff.ly/2Mv14xw 

Microsoft announces VeriSol: Introducing formal smart contract verification for Ethereum https://buff.ly/2Mv14xw 

Tags: