RE: Join Kadena and Certik for a LIVE AMA on Formal Verification - May 7th at 3pm ET / 12pm PT

You are viewing a single comment's thread from:

kieranbaxter (62)in #blockchain • 7 years ago

Formal Verification, in regards to securing Smart-contracts?

7 years ago in #blockchain by kieranbaxter (62)

$0.00

Sort:

enterpriseblock (62) 7 years ago

That's right! So anyone's welcome to ask about Formal Verification methods so looks like an interesting discussion (if you're a techy kinda guy!)

$0.00

STEEM 0.06

TRX 0.28

JST 0.048

BTC 68993.82

ETH 2030.08

USDT 1.00

SBD 0.50