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.