You are viewing a single comment's thread from:RE: Join Kadena and Certik for a LIVE AMA on Formal Verification - May 7th at 3pm ET / 12pm PTView the full contextkieranbaxter (61)in #blockchain • 6 years ago Formal Verification, in regards to securing Smart-contracts?
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!)