Guide To Formal Verification | Take Security To The Next Level

Are you a security researcher looking to join a world-class team? Apply to open positions at Guardian here: https://guardianaudits.com

Interested in getting hands-on training to become an expert security researcher in a matter of months?
Get the guide to becoming a senior auditor in 6 months here: https://www.intogateway.com/guide

Looking for a Smart Contract Audit? Apply to work with the Guardian team on our website: https://guardianaudits.com

Join our community aimed at building and sharing a wealth of blockchain and solidity knowledge to help developers/auditors of all levels transform the web3 ecosystem: https://lab.guardianaudits.com/

If you're still not 100% confident in your web3 auditing skills, I collaborated with several other top security professionals in the space to bring you the most comprehensive & effective web3 security course ever! You can take $50 off using my link here: https://smartcontractshacking.com/?referral=owen

00:00 - Intro
02:25 - The Boolean formula
04:11 - How this translates to a smart contract
06:14 - The SMT checker
09:51 - What to do to make this invariant hold
13:22 - Other flags that can be used
17:17 - Get a free quote
18:12 - Join the Solidity lab