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.
01. Certik Verification Summary
Previous
Security
Next
Bug Bounty Program
Last modified
7mo ago
Copy link
Contents
01. Certik Verification Summary