Semestre 9 - Algorithmes et méthodes formelles (AMF)

Liste des enseignements

• UE I9AMF-A - Master informatique Université de Bordeaux (au choix)

  • Au choix : 1 parmi 2

    • UE I9AMF-A1 - Modèles et algorithmes

      25 crédits

      • Personnalisation (au choix)

        • Au choix : 1 parmi 3

          • Jeux, synthèse et contrôle

          • Vérification de logiciels

          • Algorithmique appliquée

      • Logique et langages

      • Théorie des graphes avancée

      • Algorithmique distribuée

      • Séminaire

      • Initiation à la recherche

    • UE I9AMF-A2 - Vérification logicielle

      25 crédits

      • Personnalisation 1 (au choix)

        • Au choix : 1 parmi 4

          • Théorie des graphes avancée

          • Algorithmique distribuée

          • Systèmes de types et programmation

          • Types, spécifications et preuves

      • Personnalisation 2 (au choix)

        • Au choix : 1 parmi 2

          • Logique et langages

          • Algorithmique appliquée

      • Jeux, synthèse et contrôle

      • Vérification de logiciels

      • Séminaire

      • Initiation à la recherche

• UE I9AMF-B - Conception formelle des logiciels

  5 crédits

  • Conception formelle

  • Spécification et preuve formelle de programmes