Certora FV Practical Guide: Insights from the Badger eBTC Competition

Introduction This article originally was published about one year ago (in Jan 2024). I’ve slightly edited it and fixed sources to support the latest (7.26.0) Prover version. In 2023, I got involved in formal verification by joining Certora community ...