For the complete documentation index, see llms.txt. This page is also available as Markdown.

Formal Verification

About Formal Verification approach

The formal verification of Block Keeper smart contracts was performed by the Pruvendo Team.

Learn what formal verification is and find out about Pruvendo's formal verification approach.

Last updated