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.