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