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

Progetto

Dati Generali

Partecipanti

MOMIGLIANO ALBERTO DAVIDE ADOLFO   Responsabile scientifico  

Dipartimenti coinvolti

Tipo

AL_RIC - Bandi da altri enti di ricerca

Finanziatore

ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Organizzazione Esterna Ente Finanziatore

Periodo di attività

Marzo 17, 2017 - Marzo 16, 2018

Durata progetto

12 mesi