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 contextethbull (55)in #blockchain • 6 years ago I've like to see a discussion on the Formal verification of smart contracts