Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli

Project

Overview

Contributors

MOMIGLIANO ALBERTO DAVIDE ADOLFO Scientific Manager

Departments involved

Dipartimento di Informatica Giovanni Degli Antoni Principale

Type

AL_RIC - Bandi da altri enti di ricerca

Funder

ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA

External Organization Funding Organization

Date/time interval

March 17, 2017 - March 16, 2018

Project duration

12 months