Check this out.

Stuart Popejoy, President & Founder over at Kadena, and..Ronghui Gu, the Co-founder Certik

Will be hosting a Town Hall AMA on Discord on May 7th at 3pm ET / 12pm PT.

The discussion will circle around the topic of ‘’Formal Verification’’ and its application and use within the Blockchain space.

You can already sign up for the event by visiting THIS LINK

You can drop any questions you have about Formal Verification in their Discord: https://discord.io/kadena

Formal Verification

Formal verification is the overarching term used to describe a collection of techniques based on mathematics focused on reducing the instances of bugs and vulnerabilities of smart contracts. Perhaps this video will run you through:

