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
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 »
Michela Angeloni, Junio Valerio Franchi, Piero Cangialosi	Existential second order logic e sue applicazioni Logica del primo ordine Logica del secondo ordine Risolutori SAT Sintesi automatiche di soluzioni	2007/08	Vai »
Fabio D'Aprano, Claudio Di Ciccio	ReDiA-VeriFInt (Realizzatore Diagrammi Automatico con Verifica Formale Integrata) Case tool ReDiA-VeriFInt Logica del primo ordine Verifica di algoritmi, programmi, protocolli e hw Otter/Prover9 Mace2 Dimostratori di teoremi al prim'ordine	2007/08	Vai »
Valerio Del Grande, Ilaria Forte	Verifica automatica di proprietà su ontologie DL-Lite A Logica del primo ordine Verifica di algoritmi, programmi, protocolli e hw Otter/Prover9 Mace2 Dimostratori di teoremi al prim'ordine Ricercatori di modelli al prim'ordine	2007/08	Vai »
Gianluca Ciuffa, Andrea Frasca	ReDiA-VeriFInt, Verifica dei diagrammi UML degli stati e delle transizioni Case tool ReDiA-VeriFInt Logica del primo ordine Verifica di documenti di analisi 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]