--- title: Formal Verification on Smart Contract tags: Formal Verification, Smart Contract, Etherum description: View the slides with "Slide Mode". --- # Formal Verification on Smart Contract <!-- Put the link to this slide here so people can follow --> slides: https://hackmd.io/p/rJzvzC9TN#/ Note: Hello, everyone, I am chen yixi from cheng kung university. So, what is formal verification? and why do we need formal verification? --- ##  Debug challenges