Verification Assisted Gas Reduction for Smart Contracts.

Bo Gao Siyuan Shen Ling Shi Jiaying Li Jun Sun Lei Bu

Published in: APSEC (2021)

Keyphrases

genetic algorithm
model checking
genetic search
website
neural network
real world
image sequences
mobile devices
formal methods
formal analysis
formal verification
verification method
natural gas
moral hazard
ubiquitous environments
false acceptance