- Lecturer on "Evaluation and verification Techniques for Software Systems" (Corso di Laurea Specialistica in Scienze e Tecnologie dell'Informazione, Università degli studi di Firenze aa 2009-2010 ).
Teaching Aid
- Model-Checking A Tutorial Introduction [Download]
- Action-based Model Checking (and its applications to distribuited, mobile, object-oriented System) A Tutorial [Download]
- Note di Logica modale e temporale [Download]
- Concepts, Algorithms, and Tools for Model Checking [Download]
- A Model Checking verification Environment for UML Statecharts [Download]
- Model checking basato su Tableau [Download]
- Automi di Büchi Etichettati & Model Checking LTL [Download]