Vous trouverez ici une liste des enseignements que j'ai donnés en 2017/2018, avec le matériel associé. Il s'agit d'une copie brutale: signalez-moi si quelquechose manque ou ne fonctionne pas. Retour vers ma page d'accueil.
I'm doing the first half of MPRI 2-30, dealing with protocol verification in the formal/symbolic model. Slides:
And here is the exam I gave.
Par ici!