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

Bishoksan Kafle, John Patrick Gallagher

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

11 Citationer (Scopus)

2 resultater

Afsluttet

ICT-Energy
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Bohr, N. (Projektdeltager)
01/10/2013 → 30/09/2016
Projekter: Projekt › Forskning
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager), Strand, D. L. (Projektleder) & Bohr, N. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning