> For the complete documentation index, see [llms.txt](https://docs.belugas.io/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.belugas.io/security/formal-verification.md).

# Formal Verification

![](https://github.com/aquariusloan/aquarius-docs/blob/master/.gitbook/assets/Audit_Certificate_Aquarius%20Finance.png)