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]
  • Focus Games for Satisfiability and Completeness of temporal logic [Download]
  • Model checking basato su Tableau [Download]
  • Automi di Büchi Etichettati & Model Checking LTL [Download]