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.

On the following pages, you will find:

• BLS - Business Level Specification,

• HLS - High Level Specification,

• LLS - Low Level Specification of Block Keeper contracts.