Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

Submitted by chiara.mezzetti on

TitleHorn clause verification with convex polyhedral abstraction and tree automata-based refinement
Publication TypeJournal Article
Year of Publication2016
AuthorsKafle B., Gallagher J.P.
JournalJ. Computer Languages, Systems & Structures
Volume46
DOI10.1016/j.cl.2015.11.001