Hyperproperty Verification as CHC Satisfiability.

Shachar Itzhaky Sharon Shoham Yakir Vizel

Published in: ESOP (2) (2024)

Keyphrases

satisfiability problem
np complete
bounded model checking
model checking
face verification
propositional logic
verification method
databases
signature verification
computational complexity
phase transition
case study
information retrieval
decision procedures
symmetry breaking
machine learning
database