INF7570 MODÉLISATION ET VÉRIFICATION

• Examen Intra :
• Examen Final :
• Laboratoire : PK-4665
• Plan de cours
• Exemples vus en classe
• Articles de référence
• Travail
• Références
  • NuSMV (site officiel)
• Environnement de développement pour Windows
  • cygwin
  • les commandes emacs les plus fréquentes
• Accès aux notes.