Prophecy Variables for Hyperproperty Verification.

Raven Beutner Bernd Finkbeiner

Published in: CSF (2022)

Keyphrases

model checking
face verification
variable selection
independent variables
signature verification
real world
machine learning
website
search space
causal relationships
formal verification
relevant variables