EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.
Bernd FinkbeinerChristopher HahnMarvin StengerPublished in: CAV (2) (2017)
Keyphrases
- logical implication
- satisfiability problem
- propositional logic
- np complete
- automated reasoning
- functional dependencies
- description logics
- computational complexity
- consistency checking
- decision procedures
- satisfiability testing
- phase transition
- deductive databases
- refinement operators
- conjunctive queries
- terminological reasoning