|
|
Laurea Specialistica in
Ingegneria Informatica,
Corso di
Metodi Formali nell'Ingegneria del Software
Edizione dell'a.a. 2007/08
Verifiche di correttezza dei programmi
Dispense del corso
Materiale di approfondimento
Descrizione |
Eleonora Antonelli, Simone Maletta, Stefano Novara.
Traduzione di state and transition diagram UML e correttezza dei programmi in TLA+. Corso di Metodi Formali nell'Ingegneria del Software, Facoltà di Ingegneria, Sapienza Università di Roma. Progetti svolti dagli studenti, 2007.
|
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. Corso di Metodi Formali nell'Ingegneria del Software, Facoltà di Ingegneria, Sapienza Università di Roma. Progetti svolti dagli studenti, 2008.
|
Esercizi
|
[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]
|