
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 &


















