Sign in

Property-Based Automated Repair of DeFi Protocols.

Palina TolmachYi LiShang-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