Strike Docs
Search…
Strike Docs
Strike Documentation
Getting Started
STokens
Comptroller
Governance
API
Strike.js
Security
Formal Verification
Bug Bounty Program
Powered By
GitBook
Formal Verification
The Strike protocol was developed with a specifications of security principles, and formally verified by
Certora
using Certora ASA (Accurate Static Analysis), which is integrated into Strike's continuous integration system.
01. Certora Verification Summary
Previous
Security
Next
Bug Bounty Program
Last modified
1yr ago
Copy link
Contents
01. Certora Verification Summary