Prophecy Variables for Hyperproperty Verification.

Raven Beutner Bernd Finkbeiner

Published in: CoRR (2022)

Keyphrases

model checking
face verification
variable selection
relevant variables
input variables
causal relations
database
information systems
case study
artificial neural networks
continuous variables