Zoe Paraskevopoulou - Can You Trust Your Smart Contracts 100%?
(00:00) Intro
(01:39) Journey into Blockchain
(04:09) Why Formal Verification for Smart Contracts
(08:39) ACT Framework
(12:37) State Transition Systems & Mathematical Models
(21:37) Practical Application
(28:10) LLMs & The Future of Formal Verification
(31:29) Vision
