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.
Last updated