Tree automata-based refinement with application to Horn clause verification

Bishoksan Kafle, John Patrick Gallagher

Programming, Logic and Intelligent Systems

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

11 Citations (Scopus)

607 Downloads (Pure)

2 results

Finished

ENTRA: Whole-Systems Energy Transparency
Kafle, B. (Project participant)
FP7
01/10/2012 → 30/09/2015
Project: Research
NUSA: Numeric and Symbolic Abstractions for Software Model Checking
Gallagher, J. P. (Project participant), Rosendahl, M. (Project participant) & Rhiger, M. (Project participant)
01/01/2011 → 31/12/2013
Project: Research