MVS/lecture_notes

  • ↰
  • 📁 images
  • 📄 Sommario Lezioni10 KB
  • 📄 Lezione 01 - Introduzione12 KB
  • 📄 Lezione 02 - Automi di Verifica10 KB
  • 📄 Lezione 03 - Problema della Verifica7 KB
  • 📄 Lezione 04 - Sincronizzare gli Automi16 KB
  • 📄 Lezione 05 - Computational Tree Logic19 KB
  • 📄 Lezione 06 - Extended Computational Tree Logic8 KB
  • 📄 Lezione 07 - Restricted Computational Tree Logic11 KB
  • 📄 Lezione 08 - Model Checking Esplicito11 KB
  • 📄 Lezione 09 - Model Checking in PLTL12 KB
  • 📄 Lezione 10 - Model Checking Simbolico I11 KB