A look into formal verification of smart contracts

Wrote an article
Wrote a brief overview of what I learned on formal verification of smart contracts using Certora. It goes through rules, invariants, loops, ghosts, contract interactions, and more.