|
|
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.
Categorie:
Anni accademici:
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]
|