GLO-3004 Spécification formelle et vérification de logiciels

Méthodes de développement formelles. Vérification de modèles. Langages de spécification formelle comme VDM, Z ou Lotos. Utilisation de logiciels de vérification de modèles.

Des questions sur ce cours? Inscrivez-vous aux cours

  • 3 Crédits

  • Cycle du cours

    • Premier cycle

  • Modes d'enseignement

    • Régulier
  • Cours pouvant être offert à distance

Responsables

  • Faculté des sciences et de génie
  • Département d'informatique et de génie logiciel

Préalables

IFT-2002 ET (GIF-1003 OU IFT-2005 OU IFT-1006)

Cette activité est contributoire dans:

Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.

Répartition hebdomadaire

  • 3h Cours
  • 2h Laboratoire ou travaux pratiques
  • 4h Travail personnel
  • 9h Total

Horaire

Pour vous inscrire, accédez à monPortail.

Hiver 2025 – 1 section offerte

Hiver 2024 – 1 section offerte