Semester 9 - Algorithms and formal methods (AMF)

List of courses

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

  • Your choice: 1 of 2

    • UE I9AMF-A1 - Models and algorithms

      25 credits

      • Customization (your choice)

        • Choice: 1 of 3

          • Games, synthesis and control

          • Software verification

          • Applied algorithms

      • Logic and languages

      • Advanced graph theory

      • Distributed algorithms

      • Seminar

      • Introduction to research

    • UE I9AMF-A2 - Software verification

      25 credits

      • Customization 1 (your choice)

        • Your choice: 1 of 4

          • Advanced graph theory

          • Distributed algorithms

          • Type systems and programming

          • Types, specifications and proofs

      • Customization 2 (your choice)

        • Your choice: 1 of 2

          • Logic and languages

          • Applied algorithms

      • Games, synthesis and control

      • Software verification

      • Seminar

      • Introduction to research

• UE I9AMF-B - Formal software design

  5 credits

  • Formal design

  • Program specification and formal proof