The following pages link to Bishoksan Kafle (Q681334):
Displayed 9 items.
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement (Q681335) (← links)
- A Benders decomposition approach to deciding modular linear integer arithmetic (Q1680266) (← links)
- An iterative approach to precondition inference using constrained Horn clauses (Q4559813) (← links)
- Tree dimension in verification of constrained Horn clauses (Q4644355) (← links)
- (Q4997236) (← links)
- (Q5015369) (← links)
- (Q5020649) (← links)
- Tree Automata-Based Refinement with Application to Horn Clause Verification (Q5172644) (← links)
- Transformation-Enabled Precondition Inference (Q6063861) (← links)