Verification of Quantitative Hyperproperties Using Trace Enumeration Relations.

Shubham Sahai Rohit Sinha Pramod Subramanyan

Published in: CoRR (2020)

Keyphrases

qualitative and quantitative
model checking
semantic relations
temporal relations
real world
data mining
real time
databases
relational databases
spatial relations
face verification
formal verification
logical structure