/Formal-verification-and-symbolic-Execution

This repository focuses on formal verification and symbolic execution techniques, using tools like Halmos and Certora to detect bugs that are typically missed by fuzzing. It implements advanced mathematical functions such as MulWadUp and the Babylonian square root method for precise calculations.

Primary LanguageSolidityGNU Affero General Public License v3.0AGPL-3.0

Watchers