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
Davide Nifosi	Spin Logiche temporali Spin	2006/07	Vai »
Francesco Maria Delle Fave, Valerio Gheri	Modellazione e verifica formale di algoritmi per la mutua esclusione in ambiente distribuito Logiche temporali Verifica di algoritmi, programmi, protocolli e hw Spin	2006/07	Vai »
Francesco Cusmai, Marta Monteleone, Silvia Orsi	Spin: comunicazione tra N processi attraverso un unico canale condiviso Logiche temporali Spin	2006/07	Vai »
Stefano Menotti	Verifica formale in Spin di WF-nets e Diagrammi delle Attività UML Logiche temporali Verifica di documenti di analisi Spin	2006/07	Vai »
Francesco Barbaria	Modellazione e verifica formale di alcune proprietà di un algoritmo token based per la mutua esclusione in ambiente distribuito Verifica di algoritmi, programmi, protocolli e hw Logiche temporali Spin	2006/07	Vai »
Francesco Fia, Marco Augusto Lauretti	Traduzione degli Interaction Diagram in Spin Verifica di documenti di analisi Spin Logiche temporali	2006/07	Vai »
Vanda Piacentini, Germano Rocco	Modellazione del sistema di comunicazione della rete Ethernet: il protocollo CSMA/CD e verifica delle sue proprietà temporali attraverso Spin e LTL Logiche temporali Verifica di algoritmi, programmi, protocolli e hw Spin	2006/07	Vai »

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