Formal Verification Testing

Formal verification testing involves the repeated simulation of contract interactions against a series of written rules. This is a supplement to auditing that aims to reveal issues that may not have been exposed in a manual review.

Formal verification testing has been conducted via Certora and includes:

We will continue this process for all major releases.

Last updated