Interpolant tree automata and their application in Horn clause verification

Submitted by chiara.mezzetti on

TitleInterpolant tree automata and their application in Horn clause verification
Publication TypeConference Proceedings
Year of Conference2016
AuthorsKafle B., Gallagher J.P.
Conference NameTheoretical Computer Science - EPTCS
Volume216
Pagination104-117
PublisherEPTCS
DOI10.4204/EPTCS.216.6