Toni Mancini

[login|nuovo account] [Italiano|English]

Avvisi
23/4/2024	25 aprile: l'Italia ricorda la liberazione dall'occupazione nazista e dal regime fascista, simboleggiata dall'insurrezione del 25 aprile 1945 proclamata dai Partigiani. [Ultime lettere di condannati a morte e di deportati della Resistenza italiana] [Costituzione della Repubblica].

Laurea Specialistica in Ingegneria Informatica, Corso di

Metodi Formali nell'Ingegneria del Software

Edizione dell'a.a. 2007/08

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

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
Daniele Ippoliti, Marco Leone	Generazione automatica di codice nuSmv per la verifica di metodi Java Logiche temporali Verifica di algoritmi, programmi, protocolli e hw Programmazione in Java NuSMV	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 Logiche temporali Verifica di algoritmi, programmi, protocolli e hw Programmazione in Java NuSMV	2007/08	Vai »
Alberto Cerullo	Java Modeling Language (JML) Logica del primo ordine Verifica di algoritmi, programmi, protocolli e hw Programmazione in Java Dimostratori di teoremi al prim'ordine	2007/08	Vai »
Terzilio Cecchetti, Giovanni Draghi	ReDiA-VeriFInt: Rappresentazione delle specifiche concettuali e realizzative e annotazione automatica del codice mediante Daikon e Jass Case tool ReDiA-VeriFInt Verifica di algoritmi, programmi, protocolli e hw Programmazione in Java	2007/08	Vai »
Andrea De Angelis	Jasmine 2.0: test a scatola bianca di codice Java Logiche temporali Verifica di algoritmi, programmi, protocolli e hw Programmazione in Java NuSMV	2007/08	Vai »
Mario Casciaro, Andrea Palleschi, Biagio Profice	Jamote: Java Model-Based Black-Box Testing Logica del primo ordine Verifica di algoritmi, programmi, protocolli e hw Programmazione in Java Alloy	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]