Property-Based Automated Repair of DeFi Protocols.

Palina Tolmach Yi Li Shang-Wei Lin

Published in: ASE (2022)

Keyphrases

semi automated
database
fully automated
databases
case study
multiscale
computer aided
computer assisted
desirable properties
automated analysis
real time
knowledge base
expert systems
fully automatic