Corso di Metodi Formali (ex Logica II)

Prof. Silvio Ghilardi -- Prof. Stefano Aguzzoli

Laurea Magistrale in Informatica - a.a. 2018/2019


AVVISI:

Il corso verrà tenuto in collaborazione col prof. Aguzzoli ed è iniziato Martedì 2 Ottobre, alle ore 9.30, in via Celoria 18 (Gamma Lab).
Per informazioni, materiale, avvisi si fa riferimento al sito sulla piattaforma Ariel accessibile qui.
Di seguito vengono riportate solo le informazioni relative alla parte sul Model Checking gestita dal prof. Ghilardi.


Programma | Orari | Modalità d'esame | Materiali didattici | Appelli d'esame

  1. Programma
  2. La familiarità con lo strumento software costituirà un aspetto particolarmente importante per la preparazione dell'esame: a tale scopo, una parte considerevole delle ore di lezione saranno svolte in laboratorio informatizzato. Per gli studenti interessati (anzichè a NuSMV) al model-checker esplicito SPIN sono in linea qui i lucidi del seminario tenuto dalla Dr. Ing. Paola Spoletini del Politecnico di Milano a conclusione del corso dell'anno accademico 2005-06.

    Bibliografia

    Clarke, Grumberg, Peled, Model Checking, MIT Press, 2000.

  3. Orario delle lezioni (per il solo mese di Ottobre).
  4. L'orario qui indicato è fissato, però l'aula può cambiare: si consiglia di controllare di volta in volta sul sito ufficiale perchè sono possibili cambiamenti per motivi logistici.

    L'orario di ricevimento del prof. Ghilardi è il venerdì mattina alle ore 11.30, presso il Dipartimento di Matematica (via C. Saldini 50).


  5. Modalità d'esame
  6. L'esame (per la parte riguardante il Model Checking) sarà costitutito da un colloquio. Il programma dovrà essere concordato con il docente del corso.

    Sono previsti compitini di esonoero totale per i frequentanti.

  7. Materiali didattici
  8. Due dispense informato elettronico, già in linea qui e qui.

  9. Appelli d'esame
  10. L'esame (per la parte riguardante il Model Checking) è su appuntamento e può essere sostenuto (previo accordo con il docente) durante un qualsiasi orario di ricevimento. Per la registrazione formale occorre, dopo aver sostenuto anche la parte curata dal prof. Aguzzoli, iscriversi al SIFA con almeno una settimana di anticipo, in corrispondenza delle date degli appelli ufficiali.

    Ultimo aggiornamento: 5/10/2018