GOV: A Verification Method for Smart Contract Gas-Optimization.

Yuan Huang Rong Wang Xiangping Chen Xiaocong Zhou Ziyan Wang

Published in: QRS (2022)

Keyphrases

verification method
model checking
genetic algorithm
optimization algorithm
temporal logic
optimization method
optimization problems
global optimization
databases
neural network
database
optimization methods
optimal design