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