A Framework for Formal Transformation and Analysis of Smart Contract Code.

Hanjie Dong Yaqiong He Hongwei Tao Qianheng Duan

Published in: DSA (2022)

Keyphrases

analysis tool
formal model
search engine
formal analysis
static analysis
complexity analysis
main contribution
lightweight
image sequences
source code
statistical analysis
image registration
image analysis
quantitative analysis
data analysis
e learning
computer vision
databases