Microsoft Releases Open-Source Formal Verification Tool For Solidity Smart Contracts
microsoft.com/en-us/research/blog/researchers...
microsoft.comPosted Jun 4, 2019, 3:09 PM UTC
30
microsoft.comLoading comments…
microsoft.commicrosoft.comPosted Jun 4, 2019, 3:09 PM UTC