Tree automata-based refinement with application to Horn clause verification

Søgeresultater

• Afsluttet

  ENTRA: Whole-Systems Energy Transparency

  Kafle, B. (Projektdeltager)

  FP7

  01/10/2012 → 30/09/2015

  Projekter: Projekt › Forskning

• NUSA: Numeric and Symbolic Abstractions for Software Model Checking

  Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Rhiger, M. (Projektdeltager)

  01/01/2011 → 31/12/2013

  Projekter: Projekt › Forskning