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

# Formal Verification

The formal verification of Block Keeper smart contracts was performed by the [Pruvendo Team](https://pruvendo.com/).

[Learn what formal verification is and find out about Pruvendo's formal verification approach.](https://drive.google.com/file/d/1xcZ5-1uLzTSMFbfHiq-4onhfwSoUWNZ2/view?usp=sharing)<br>