Section outline

  • Informazioni generali

    Le lezioni di questo modulo cominceranno lunedì 3 ottobre 2022. Le lezioni si tengono il lunedì e il giovedì dalle 15:30 alle 18:30, ma in alcune date termineranno alle 17:30. Le lezioni saranno esclusivamente in presenza; quando possibile, il materiale relativo a una lezione sarà pubblicato in anticipo. Saranno anche disponibili le registrazioni delle lezioni dell'anno scorso sugli stessi argomenti.

    Questo è il calendario delle prime lezioni, dedicate alle tecniche di dimostrazioni di correttezza di programmi e alla logica di Hoare. Consultate sempre il sito per eventuali variazioni.

    •  3 ottobre, 15:30-18:30, aula U4-02
    •  6 ottobre, 15:30-17:30, aula U24-C1
    • 10 ottobre, 15:30-18:30, aula U4-02
    • 13 ottobre, 15:30-18:30, aula U24-C1
    • 17 ottobre, 15:30-17:30, aula U4-02

    Calendario delle lezioni dedicate ai modelli di sistemi concorrenti: CCS
    • 20 ottobre, 15:30-18:30, aula U24-C1
    • 24 ottobre, 15:30-17:30, aula U4-02
    • 27 ottobre, 15:30-16:30, aula U24-C1
    • 3 novembre, 15:30-18:30, aula U24-C1
    • 7 novembre, 15:30-18:30, aula U4-02
    • 10 novembre, 15:30-18:30, aula U24-C1
    • 14  novembre, 15:30-18:30, aula U4-02

    Calendario delle lezioni dedicate ai modelli di sistemi concorrenti: reti di Petri
    • 17 novembre, 15:30-18:30, aula U24-C1
    • 21 novembre, 15:30-18:30, aula U4-02
    • 24 novembre, 15:30-18:30, aula U24-C1
    • 28 novembre, 15:30-18:30, aula U4-021
    • 1 dicembre, 15:30-18:30, aula U24-C1
    Calendario delle lezioni su logiche temporali e model-checking (consultate sempre il sito per eventuali variazioni)
    • 5 dicembre 15:30-17:30, aula U4-02
    • 12 dicembre 15:30-17:30, aula U4-02
    • 15 dicembre 15:30-17:30, aula U24-C1
    • 19 dicembre 15:30-17:30, aula U4-02
    • 22 dicembre 15:30-17:30, aula U24-C1
    • 9 gennaio 15:30-17:30, aula U4-02
    In preparazione all'esame, si potranno tenere incontri supplementari