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

# Formal Verification

- [Multi-Factoring Business-level Specification](https://docs.ackinacki.com/for-users/wallets/formal-verification/multi-factoring-business-level-specification.md)