Program Repair for Hyperproperties.

Borzoo Bonakdarpour Bernd Finkbeiner

Published in: CoRR (2021)

Keyphrases

computer programs
program execution
real time
social networks
high level
expert systems
information technology
data model
control program
damage assessment