Automated Invariant Generation for Solidity Smart Contracts.

Ye Liu Chengxuan Zhang Yi Li.

Published in: CoRR (2024)

Keyphrases

affine transformation
semi automated
semi automatic
fully automated
affine invariant
generation process
neural network
database
real time
learning algorithm
data driven
automated analysis