Researchers work to secure Azure Blockchain smart contracts with formal verification - Microsoft Research - discu.eu

Reddit

Microsoft releases an open-source formal verification tool for Solidity smart contracts https://www.microsoft.com/en-us/research/blog/researchers-work-to-secure-azure-blockchain-smart-contracts-with-formal-verification/?ocid=msr_blog_verisol_tw 48 comments 3/6/2019 ethereum

Linking pages

June 8, 2019 – Week in Ethereum News https://weekinethereumnews.com/june-8-2019/ 8 comments
The Year in Ethereum 2019. by Josh Stark & Evan Van Ness | by Josh Stark | Medium https://medium.com/@jjmstark/the-year-in-ethereum-2019-242012e4276d 4 comments

Related searches:

Search whole site: site:www.microsoft.com

Search title: Researchers work to secure Azure Blockchain smart contracts with formal verification - Microsoft Research

See how to search.

Submit link to: