>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]

Laurea Specialistica in Ingegneria Informatica, Corso di

Metodi Formali nell'Ingegneria del Software

Edizione dell'a.a. 2007/08

Progetti svolti e presentati dagli studenti

Attualmente sono visualizzati solo i progetti che rispettano i seguenti filtri:

Visualizza tutti i progetti »

Clicca sui diversi valori (categoria e/o anno accademico) per attivare/disattivare i filtri di visualizzazione.

Autori Titolo e categorie A.A. Dettagli

Claudio Corona, Giorgio Camerani

Uno strumento per la verifica automatica di reti digitali 2006/07 Vai »

Alfonso Calciano, Federico Covino

Reverse engineering e verifica di proprietà di un sistema Treno+Auto 2006/07 Vai »

Daniele Ippoliti, Marco Leone

Generazione automatica di codice nuSmv per la verifica di metodi Java 2006/07 Vai »

Raffaele Giuliano, Marco Piva, Fabio Terella, Emanuele Tracanna

JTrafficControl, un'applicazione per la sintesi automatica di scheduling semaforici mediante nuSmv 2006/07 Vai »

Cristiano Sticca

Verifica formale del TCP e studio di possibili attacchi usando nuSmv 2006/07 Vai »

Francesco Minicucci

Modellazione e verifica formale dei criteri di correttezza di protocolli per la gestione della concorrenza 2006/07 Vai »

Luca Porrini, Constantin Moldovanu, Emanuele Tatti

Jasmine, Java Symbolic Model Interpreter: generazione automatica di casi di test in un cammino di un grafo di flusso 2007/08 Vai »

Gianluca Ciuffa, Andrea Frasca

ReDiA-VeriFInt, Verifica dei diagrammi UML degli stati e delle transizioni 2007/08 Vai »

Mino Germano, Massimo Bonotti

Uno strumento per la verifica di proprietà su diagrammi Gantt e Pert attraverso l'analisi formale 2007/08 Vai »

Andrea De Angelis

Jasmine 2.0: test a scatola bianca di codice Java 2007/08 Vai »


[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]