Proving hypersafety compositionally.

Emanuele D'Osualdo Azadeh Farzan Derek Dreyer

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

database
pattern matching
management system
software engineering
database systems
object oriented
user preferences
query optimization
video surveillance
optimization method
background subtraction