This article, rather than reiterating technical details about formal verification, will focus on sharing a practical workflow and personal insights related to the Certora prover