Gruppi di ricerca

  1. Home
  2. Ricerca
  3. Gruppi di ricerca
  4. ARLette - Laboratorio di Ragionamento Automatico

ARLette - Laboratorio di Ragionamento Automatico

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

Maria Paola Bonacina
Professore ordinario
Argomento Area di ricerca
Ragionamento automatico Intelligenza Artificiale
Knowledge representation and reasoning
Verifica formale del software Ingegneria del Software e Verifica Formale
Formal software verification
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à

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi