First steps with Certora Formal Verification: Catching a Real Bug with a Universal 5-Line Rule
Intro
Curious about Certora Formal Verification but unsure where to begin? This tutorial provides a step-by-step setup and a powerful five-line rule for catching a very common class of storage-related bugs. It’s illustrated with a real issue discover...
alexzoid.com5 min read
Anthony Tsang
Hello Alex! Thank you so much for the introductory blog for FV. I am studying your GitHub repo - uniswapV4 and euler FV. They show the importance of identifying Valid States of the project is fundamental for FV.
Would you mind making a blog on the thought process of identifying Valid States? Do you have a SOP for it?
By the way, your code style is very clean and concise. It is very inspiring. I wish you would keep up the good work!
Thank you so much in advance!