Corso di verifica dei sistemi, con particolare attenzione alla verifica via modellazione e alle tecniche di model-checking
Reti di Elaboratori 2 (RdE II) è un corso sui protocolli applicativi di Internet, ma anche su argomenti di internetworking che costituiscono un secondo corso rispetto a Reti di Elaboratori 1 (RdE) della laurea triennale di Sistemi e Reti.