Bishoksan Kafle

Identifiers

No identifiers captured yet.

Papers (7)

1. Precondition Inference via Partitioning of Initial States cs.LO · 2018 · author #1
2. An iterative approach to precondition inference using constrained Horn clauses cs.LO · 2018 · author #1
3. Tree dimension in verification of constrained Horn clauses cs.LO · 2018 · author #1
4. Solving non-linear Horn clauses using a linear solver cs.LO · 2015 · author #1
5. Optimised determinisation and completion of finite tree automata cs.FL · 2015 · author #3
6. Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification cs.LO · 2014 · author #1
7. Analysis and Transformation Tools for Constrained Horn Clause Verification cs.PL · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• John P. Gallagher 5 shared papers
• Graeme Gange 2 shared papers
• Harald Sondergaard 2 shared papers
• Peter J. Stuckey 2 shared papers
• Peter Schachte 2 shared papers
• Mai Ajspur 1 shared papers
• Pierre Ganty 1 shared papers