6 citations · 13 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2016
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
John P. Gallagher, Philipp Rümmer
This volume contains the proceedings of HCVS 2016, the Third Workshop on Horn Clauses for Verification and Synthesis which was held on April 3, 2016 in Eindhoven, The Netherlands a…
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.LO2010
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
Rafael Caballero, John Gallagher
This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. W…