DeFi security Summit 2023 - Session 14: Formal Verification Panel
▶DeFi security Summit 2023 - Session 14: Formal Verification Panel — a 2023 DeFi Security Summit - DSS security conference talk on vuln-research (46:17 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube