Tuesday, August 20, 2019
Home Tags Solidity

Tag: Solidity

VeriSol - Verifier for Solidity under development by Microsoft

VeriSol – Verifier for Solidity under development by Microsoft

In its blog, Microsoft announced the development of an open formal verification scheme for smart Ethereum contracts in the Solidity programming language.

get connected

13,522FansLike
605FollowersFollow
1,950FollowersFollow
8,724FollowersFollow
2,159FollowersFollow

Recent Posts

Most Popular