Generali:

  • Dipartimento: Scienze Matematiche, Fisiche E Naturali
  • Settore Ministeriale: INF/01
  • Codice di verbalizzazione: 8062804
  • Metodi di insegnamento: Frontale E Altro
  • Metodi di valutazione: Scritto E Orale
  • Prerequisiti: conoscenze di base della logica
  • Obiettivi: metodi di verifica formale, model checking esplicito, model checking simbolico, sistemi ibridi
  • Ricevimento: su appuntamento: inviare una mail per definire giorno e orario

Didattica:

  • A.A.: 2011/2012
  • Canale: UNICO
  • Crediti: 6