C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime Verification of Ethereum Smart Contracts Based on MSVL.
Bin Yu
Xu Lu
Hao Chen
Ming Lei
Xiaobing Wang
Published in:
SOFL+MSVL (2020)
Keyphrases
</>
model checking
supply chain
face verification
computer vision
formal methods
smart grid
concurrent systems
moral hazard
smart environments
false acceptance rate