È prevista una prova scritta su tutto il programma del corso e due prove parziali scritte in itinere. Non sono previsti recuperi delle prove parziali in itinere.
La prima prova parziale sarà nella prima metà di novembre. Durante la sessione di esame di gennaio 2024 sarà possibile sostenere la seconda prova parziale (solo per chi ha sostenuto la prima prova parziale) oppure lo scritto completo. La decisione se sostenere il secondo parziale oppure l'esame completo avviene durante l'esame di gennaio dopo la consegna del testo.
Chi non sostiene entrambe le prove parziali deve procedere con l'esame completo.
La media dei due voti conseguiti nei moduli di Teoria della Computazione e Modelli della Concorrenza (approssimata per eccesso) sarà il voto di verbalizzazione dell'intero esame di Modelli e Computazione. Una votazione di 30 e lode ottenuta in uno dei moduli conta come 31 nel computo della media dei voti. Una media di 30.5 oppure 31 equivale a un 30 e lode finale.
I voti di Teoria della Computazione e Modelli della Concorrenza possono essere conseguiti anche in appelli diversi.