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.
PreviousHow to join the protocol as Block Keeper?NextBlock Keeper Contracts Business-Level Specification
Last updated