Microsoft announced the development of an open-source formal Ethereum smart contract verification scheme for the Solidity programming language.
Microsoft announces VeriSol: Ethereum smart contract verification | CryptoSlate
Words
0
Reading
0 min
Listen
Play
2019-06-05 18:24