6 citations · 13 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 2 cited
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
Bishoksan Kafle, John P. Gallagher
We present an approach to constrained Horn clause (CHC) verification combining three techniques: abstract interpretation over a domain of convex polyhedra, specialisation of the co…
cs.PL2014★ 6 cited
Analysis and Transformation Tools for Constrained Horn Clause Verification
John P. Gallagher, Bishoksan Kafle
Several techniques and tools have been developed for verification of properties expressed as Horn clauses with constraints over a background theory (CHC). Current CHC verification…