Microsoft releases an open-source formal verification tool for Solidity smart contracts

http://bit.ly/2Z8zyYa

Submitted June 04, 2019 at 08:23AM