>   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

Verifiche di correttezza dei programmi

Dispense del corso

Codice Descrizione
D.IV.1 Correttezza dei programmi

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

Codice Descrizione
E.IV.20060703 Zero-Uno-Due (codice)
E.IV.20070111 Due Zeri
E.IV.20070711 Minimo
E.IV.20080627 Equivalenza tra algoritmi di ordinamento di array (codice)
E.IV.20070723 Occorrenze
E.IV.20080110 Sottoarray
E.IV.20080418 Mediano
E.IV.20080703 Somma dei primi due elementi in array
E.IV.20080718 Array uguali
E.IV.20080918 Almeno N volte
E.IV.20090116 Secondo più grande


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