scab24/Formal_Verification

Formal Verification

Usage

In this repository, I will be solving contracts using formal verification with the following tools:

• Halmos
• hevm
• Certora
• Ityfuzz

Build

$ git submodule update --init --recursive

Article

• https://open.substack.com/pub/allthingsfuzzy/p/formal-verification-in-practice-halmos?r=1860oo&utm_campaign=post&utm_medium=web