Horn clause verification with convex polyhedral abstraction and tree automata-based refinement.
Bishoksan KafleJohn P. GallagherPublished in: Comput. Lang. Syst. Struct. (2017)
Keyphrases
- horn clauses
- convex hull
- convex sets
- convex constraints
- logic programs
- high level
- model checking
- first order logic
- inference rules
- tree structure
- convex optimization
- bounded model checking
- inductive logic programming
- database queries
- hardware designs
- index structure
- line drawings
- convex cone
- databases
- background knowledge
- pairwise
- data structure
- machine learning