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 » |
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 |
2007/08 |
Vai » |
Alberto Cerullo |
Java Modeling Language (JML) |
2007/08 |
Vai » |
Michela Angeloni, Junio Valerio Franchi, Piero Cangialosi |
Existential second order logic e sue applicazioni |
2007/08 |
Vai » |
Fabio D'Aprano, Claudio Di Ciccio |
ReDiA-VeriFInt (Realizzatore Diagrammi Automatico con Verifica Formale Integrata) |
2007/08 |
Vai » |
Valerio Del Grande, Ilaria Forte |
Verifica automatica di proprietà su ontologie DL-Lite A |
2007/08 |
Vai » |
Giacomo Bernini |
Logiche Temporali al servizio dell'Ingegneria del Software: CTL, CTL*, TRIO e LTLB |
2007/08 |
Vai » |
Manuela Salvatori, Ivan Secci |
Timed Automata per applicazioni real-time |
2007/08 |
Vai » |
Daniele Zannella |
Risolutori SAT non-CNF |
2007/08 |
Vai » |
Giovanni Michele Toglia, Carlo Tassi |
ReDiA-VeriFInt, Interfaccia grafica e verifica dei diagrammi delle classi mediante Alloy |
2007/08 |
Vai » |
Andrea Marrella, Stefano Valentini |
ReDiA-VeriFInt: Analisi e formalizzazione della soddisfacibilità finita nei diagrammi delle classi UML attraverso la programmazione a vincoli |
2007/08 |
Vai » |
Gianluca Ciuffa, Andrea Frasca |
ReDiA-VeriFInt, Verifica dei diagrammi UML degli stati e delle transizioni |
2007/08 |
Vai » |
Paolo Felli, Matteo Vita |
Composition of stateful deterministic services in Alternating-time Temporal Logic |
2007/08 |
Vai » |
Terzilio Cecchetti, Giovanni Draghi |
ReDiA-VeriFInt: Rappresentazione delle specifiche concettuali e realizzative e annotazione automatica del codice mediante Daikon e Jass |
2007/08 |
Vai » |
Mino Germano, Massimo Bonotti |
Uno strumento per la verifica di proprietà su diagrammi Gantt e Pert attraverso l'analisi formale |
2007/08 |
Vai » |
Andrea De Angelis |
Jasmine 2.0: test a scatola bianca di codice Java |
2007/08 |
Vai » |
Mario Casciaro, Andrea Palleschi, Biagio Profice |
Jamote: Java Model-Based Black-Box Testing |
2007/08 |
Vai » |