Login / Signup

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.

Zhiyang ChenYe LiuSidi Mohamed BeillahiYi LiFan Long
Published in: CoRR (2024)
Keyphrases
  • database
  • dynamic environments
  • contract net protocol
  • real time
  • databases
  • neural network
  • generation process
  • dynamic constraints