Category: Uncategorized
-
Formal Verification Guide
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. Generated with midjourney 6 Table of Contents Introduction Configuration 2.1 Harness 2.2 Specs 2.3 Confs 2.4 Mutations Execution Preparation 4.1 Separating Functionality 4.2 Methods Declaration 4.3 Unresolved Calls 4.4 Shadowing…