Annex Docs
Search…
Annex Docs
Annex Docs
Annex Finance Documentation
Getting Started
ATokens
Comptroller
Governance
API
Annex.js
Auction
Security
Formal Verification
Bug Bounty Program
Guardian
Pools
Powered By GitBook
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.
Previous
Security
Next
Bug Bounty Program
Last modified 2mo ago
Copy link
Contents
01. Certik Verification Summary