Verification of Quantitative Hyperproperties Using Trace Enumeration Relations.

Shubham Sahai Pramod Subramanyan Rohit Sinha

Published in: CAV (1) (2020)

Keyphrases

model checking
qualitative and quantitative
quantitative and qualitative
formal verification
data sets
binary relations
formal analysis
face verification
dynamic programming
quantitative measures
semantic relations
attribute values
database systems
case study
website
artificial intelligence
data mining