Formal Verification & Symbolic Execution | The Security Silver Bullet?

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.

What is Formal Verification? What is Symbolic Execution?

Troy Interview: Josselin Interview:

✍️ Article: πŸ—» Code Examples: 🟩 Comparing Symbolic Execution tools: πŸ“š Invariant vs Fuzz: πŸ› οΈ Foundry Invariant: πŸ¦” Echidna: