Formal Verification, Symbolic Execution, Smart Contract Auditing, Cybersecurity, Smart Contracts.
We look at formal verification & symbolic execution with two Trail of Bits Web3 security team members. Additionally, we review the value these techniques bring and compare them to other tools. Formal Verification w/ Trail Of Bits A huge thank you to Trail of Bits Troy & Josselin for taking the time