In this case study we look at how the Certora formal verification Prover can be used for discovering high-severity vulnerabilities in the Aave lending protocol.
Formal Verification of Aave v3: A Review
Formal Verification of Aave v3: A Review
Formal Verification of Aave v3: A Review
In this case study we look at how the Certora formal verification Prover can be used for discovering high-severity vulnerabilities in the Aave lending protocol.