Proving Hypersafety Compositionally.

Emanuele D'Osualdo Azadeh Farzan Derek Dreyer

Published in: CoRR (2022)

Keyphrases

databases
database
software engineering
multi dimensional
pattern matching
multi view
response time
business intelligence
integrity constraints
data mining techniques
distributed databases