Hyperproperty Verification as CHC Satisfiability.
Shachar ItzhakySharon ShohamYakir VizelPublished in: CoRR (2023)
Keyphrases
- satisfiability problem
- model checking
- bounded model checking
- np complete
- temporal logic
- concurrent systems
- asynchronous circuits
- formal verification
- terminological reasoning
- signature verification
- formal methods
- face verification
- phase transition
- computational complexity
- orders of magnitude
- reasoning problems
- case study
- information retrieval
- databases
- database