Adresse
mail : dima at univ-paris12 dot fr
Partie Logique temporelle et NuSMV
Transparents : cours1.pdf cours2.pdf cours3.pdf cours4.pdf modelisation-nusmv.pdf cours-bdd.pdf
Feuilles de TD : td1.pdf td2.pdf
Feuilles de TP : tp1.pdf tp2.pdf tp-upem.pdf
Sujets de projet, partie logique et SAT sujet1.pdf sujet2.pdf sujet3.pdf sujet4.pdf sujet5.pdf sujet6.pdf sujet7.pdf sujet8.pdf sujet9.pdf
Sujets de projet, partie NuSMV : projets.pdf
Page web du NuSMV : http://nusmv.fbk.eu/