Formal Verification of BNB Smart Contract.

Xiaoyu Li Cheng Su Yan Xiong Wenchao Huang Wansen Wang

Published in: BigCom (2019)

Keyphrases

formal verification
model checking
branch and bound
bounded model checking
automated verification
symbolic model checking
model checker
program slicing
supply chain
lower bound
smart grid
search algorithm
temporal logic
smart environments
partial constraint satisfaction