Annex Docs
Annex Docs
Search…
⌃K

Formal Verification

The Annex protocol was developed with a specifications of security principles, and formally verified by Certik using Certik ASA (Accurate Static Analysis), which is integrated into Annex Finance's continuous integration system.