• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automated Invariant Generation for Solidity Smart Contracts.

Ye LiuChengxuan ZhangYi 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