| Autori |
Titolo e categorie |
A.A. |
Dettagli |
|
Alessandro Pagliaro |
Alloy e Alloy Analyzer |
2006/07 |
Vai » |
|
Davide Nifosi |
Spin |
2006/07 |
Vai » |
|
Claudio Corona, Giorgio Camerani |
Uno strumento per la verifica automatica di reti digitali |
2006/07 |
Vai » |
|
Alfonso Calciano, Federico Covino |
Reverse engineering e verifica di proprietà di un sistema Treno+Auto |
2006/07 |
Vai » |
|
Eleonora Antonelli, Simone Maletta, Stefano Novara |
Traduzione di state and transition diagram UML e correttezza dei programmi in TLA+ |
2006/07 |
Vai » |
|
Francesco Maria Delle Fave, Valerio Gheri |
Modellazione e verifica formale di algoritmi per la mutua esclusione in ambiente distribuito |
2006/07 |
Vai » |
|
Daniele Ippoliti, Marco Leone |
Generazione automatica di codice nuSmv per la verifica di metodi Java |
2006/07 |
Vai » |
|
Francesco Cusmai, Marta Monteleone, Silvia Orsi |
Spin: comunicazione tra N processi attraverso un unico canale condiviso |
2006/07 |
Vai » |
|
Stefano Menotti |
Verifica formale in Spin di WF-nets e Diagrammi delle Attività UML |
2006/07 |
Vai » |
|
Raffaele Giuliano, Marco Piva, Fabio Terella, Emanuele Tracanna |
JTrafficControl, un'applicazione per la sintesi automatica di scheduling semaforici mediante nuSmv |
2006/07 |
Vai » |
|
Francesco Barbaria |
Modellazione e verifica formale di alcune proprietà di un algoritmo token based per la mutua esclusione in ambiente distribuito |
2006/07 |
Vai » |
|
Francesco Fia, Marco Augusto Lauretti |
Traduzione degli Interaction Diagram in Spin |
2006/07 |
Vai » |
|
Cristiano Sticca |
Verifica formale del TCP e studio di possibili attacchi usando nuSmv |
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 |
2006/07 |
Vai » |
|
Francesco Minicucci |
Modellazione e verifica formale dei criteri di correttezza di protocolli per la gestione della concorrenza |
2006/07 |
Vai » |
Home page