Salvatore LA TORRE | Progetti

La ricerca di bugs nei sistemi concorrenti è un'attività molto complessa soprattutto se questi si manifestano solo in un numero esiguo di interleavings. In questi casi, strumenti tradizionali quali il testing faticano ad individuarli, e quindi sono da preferire tecniche quali il model-checking che invece effettuano una ricerca esaustiva su tutti i possibili interleavings. In questo progetto si vuo

L'utilizzo di tecniche automatiche di verifica sono fondamentali per la ricerca sistematica di errori nei sistemi digitali. Se utilizzate sin dalle prime fasi della progettazione contribuiscono a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra queste tecniche il model-checking occupa un posto di rilievo e si sta gradualmente affermando anche su scala industriale. In questo pro

L'utilizzo di tecniche automatiche di verifica sono fondamentali per la ricerca sistematica di errori nei sistemi digitali. Se utilizzate sin dalle prime fasi della progettazione contribuiscono a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra queste tecniche il model-checking occupa un posto di rilievo e si sta gradualmente affermando anche su scala industriale. In questo pro

L'utilizzo di tecniche automatiche di verifica sin dalle prime fasi della progettazione contribuisce a ridurre i tempi di realizzazione di sistemi digitali affidabili. Tra le diverse metodologie una tecnica che si sta affermando anche a livello industriale è il model-checking. In questo progetto si vuole contribuire all'avanzamento dello stato dell¿arte di alcune tecniche di verifica automatica di

Progetto di ricerca "GNCS-INdAM 2014" Automi, giochi e logiche temporali per la verifica e la sintesi di controllori in sistemi Safety-Critical"