Microsoft announces VeriSol: Ethereum smart contract verification | CryptoSlate

in #dlike • 5 years ago

Shared From Dlike

Microsoft announced the development of an open-source formal Ethereum smart contract verification scheme for the Solidity programming language.


Source of shared Link

#dlike-news #microsoft #ethereum #announcement
5 years ago in #dlike by
$0.13
  • Max accepted payout: $900.00
  • Past Payouts $0.13, 0.00 TRX
  • - Author $0.10, 0.00 TRX
  • - Curators $0.03, 0.00 TRX
12 votes
Reply 1
Sort:  
  • Trending
    • [-]
     5 years ago 

    Congratulations @ali.awan! You have completed the following achievement on the Steem blockchain and have been rewarded with new badge(s) :

    You distributed more than 50 upvotes. Your next target is to reach 100 upvotes.

    You can view your badges on your Steem Board and compare to others on the Steem Ranking
    If you no longer want to receive notifications, reply to this comment with the word STOP

    To support your work, I also upvoted your post!

    Vote for @Steemitboard as a witness to get one more award and increased upvotes!
    $0.00
      Reply

      Coin Marketplace

      STEEM 0.31
      TRX 0.12
      JST 0.034
      BTC 64418.55
      ETH 3157.64
      USDT 1.00
      SBD 4.06