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

2 Finished

2 results

Filter

Finished

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