Formal Verification
About Formal Verification approach
PreviousHow to join the protocol as Block Keeper?NextBlock Keeper Contracts Business-Level Specification
Last updated
About Formal Verification approach
Last updated
The formal verification of Block Keeper smart contracts was performed by the .
On the following pages, you will find:
BLS - ,
HLS - ,
LLS - Low Level Specification of Block Keeper contracts.