Quoi

• Annee 2002-2003 - Td/Tp - (Cours d'Ahmed)
• Annee 2001-2002 - Td/Tp - (Cours de Paul)
• Annee 2000-2001 - Td/Tp - (Cours de Paul)

Projets

• Annee 2001-2002 - Election d'un chef sur un anneau ps, tex
• Annee 2000-2001 - Jeton, exclusion mutuelle autostabilisante de Dijkstra ps, tex

TD

• Modelisation :
  • Produit, Automates a variables - Spots, Machine a cafe ,Television ps, tex
  • Exemple du canal - ps, tex
• CTL - ps, corrige, tex
• LTL - ps, corrige, tex
• Buchi et LTL - ps, tex
• Automates temporises

Outils

• SMV -
  • manuel - ps. A voir : il y a un autre SMV, qui semble pas mal sur PC.
  • exemples de Paul - tar
  • Premier pas, exemple des philosophes ps, tex, corr
• SPIN - Premier pas, exemple des philosophes ps, tex , corrige
• UPPAAL - Applications apres TD ps, tex