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