Gruppi di ricerca

ARLette - Laboratorio di Ragionamento Automatico

ARLette, dove ARL sta per Automated Reasoning Laboratory, raccoglie attività di ricerca in dimostrazione automatica di teoremi, costruzione automatica di modelli, procedure di decisione di soddisfacibilità, strategie di ricerca, analisi di strategie, deduzione distribuita, e riscrittura, con applicazioni che includono analisi, verifica e sintesi di sistemi software e hardware.

Maria Paola Bonacina
Professore ordinario
Argomento Area di ricerca
Ragionamento automatico Sistemi intelligenti
Artificial intelligence
Verifica del software Informatica teorica
Logic
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Analisi, verifica e sintesi di sistemi software/hardware mediante l'impiego sinergico di interpretazione astratta e ragionamento automatico (PRIN 2010-11 non finanziato) Maria Paola Bonacina 01/06/2012 36
Combinazione di analisi e sintesi di programmi: co-generazione di astrazioni e raffinamenti per l'analisi e la sintesi di programmi (PRIN 2009 valutato positivamente ma non finanziato) Roberto Giacobazzi PRIN VALUTATO POSITIVAMENTE 15/07/2011 24
Integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti - Progetto ed integrazione di macchine di prova per l'analisi di programmi (PRIN 2007) Maria Paola Bonacina Ministero dell'Istruzione dell'Università e della Ricerca 22/09/2008 24
Metodi di ragionamento automatico per l'analisi di hardware e software: progetto, integrazione, applicazione - Grandi macchine di prova come piccole macchine di prova: progetto, integrazione ed applicazione all'analisi di programmi (PRIN 2006 valutato positivamente ma non finanziato) Maria Paola Bonacina PRIN VALUTATO POSITIVAMENTE 09/02/2007 24
Rich-model toolkit: an infrastructure for reliable computer systems (EU COST Action IC0109) 2009-2013 Maria Paola Bonacina Unione Europea 30/10/2009 48
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) Maria Paola Bonacina Ministero dell'Istruzione dell'Università e della Ricerca 21/11/2003 24
Theorem proving algorithms for program analysis: interpolants, models, and termination (PRIN 2012 non finanziato) Maria Paola Bonacina 18/02/2013 36

Attività

Strutture

Condividi