Schema della sezione

  • Esami

    La prova scritta comprende quattro esercizi, uno per ciascuno dei seguenti argomenti:

    • CCS e bisimulazione
    • Reti di Petri e processi
    • Dimostrazioni di correttezza con la logica di Hoare
    • Logiche temporali e model-checking
    Negli esempi di prove scritte che trovate in questa sezione è presente un quinto esercizio, di traduzione dall'italiano a logiche temporali; questo tipo d'esercizio non fa più parte della prova scritta, ma può essere argomento di domande durante il colloquio.
    • Cartella
      Esempi di temi d'esame Cartella
    • File
      Appello del 6 febbraio 2023 File

      Testo della prova scritta

    • Prenotazione
      Appello di giugno - prova scritta Prenotazione

      Gli studenti che intendono sostenere la prova del modulo Modelli della concorrenza nell'appello del 13 giugno 2023 sono pregati di compilare questo modulo entro il 10 giugno. Chi prevede di completare l'esame dell'insegnamento Modelli e computabilità in questo appello deve anche iscriversi all'esame sul sito delle segreterie online.

    • Prenotazione
      Appello di luglio - prova scritta Prenotazione

      Gli studenti che intendono sostenere la prova del modulo Modelli della concorrenza nell'appello del 4 luglio 2023 sono pregati di compilare questo modulo entro il 30 giugno. Solo chi prevede di completare l'esame dell'insegnamento Modelli e computabilità in questo appello deve anche iscriversi all'esame sul sito delle segreterie online.

    • Pagina
      Appello del 3 luglio 2023 Pagina

      Esito della prova scritta e calendario degli orali

    • Prenotazione
      Appello di settembre Prenotazione

      Gli studenti che intendono sostenere la prova del modulo Modelli della concorrenza nell'appello dell'11 settembre 2023 sono pregati di compilare questo modulo entro l'8 settembre. Solo chi prevede di completare l'esame dell'insegnamento Modelli e computabilità in questo appello deve anche iscriversi all'esame sul sito delle segreterie online.