Sign in

Program Repair for Hyperproperties.

Borzoo BonakdarpourBernd Finkbeiner
Published in: ATVA (2019)
Keyphrases
  • computer programs
  • real time
  • artificial intelligence
  • data sets
  • computer vision
  • web pages
  • three dimensional
  • database systems
  • automatic programming
  • damage assessment