ENSEIRB
EN331 - Test et vérification

Cet enseignement présente les méthodes formelles (model-checking et test) pour la vérification et la validation de systèmes.

Intervenant

Frédéric Herbreteau

Documents de cours

  1. Introduction à la vérification formelle
  2. Modélisation et vérification
  3. Conception formelle
  4. Test dirigé par les modèles

Devoirs

Outils

NuSMV

Une installation locale de NuSMV est disponible sous ~herbrete/public/linux/bin (ajouter le chemin d'accès à votre variable d'environnement PATH). Le manuel est disponible ici: ~herbrete/public/linux/share/nusmv/doc/nusmv.pdf.