Login / Signup
EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts.
Caichang Tu
Wansen Wang
Kaiwen Shi
Yan Xiong
Wenchao Huang
Published in:
BIGCOM (2023)
Keyphrases
</>
semi automated
supply chain
multi agent
data driven
data acquisition
computer assisted
fully automated
real time
neural network
e learning
web services
case study
evolutionary algorithm
medical images
automated analysis