Master InformatiqueUE Analyse de programmes

Analyse statique ; ingénierie inverse ; introduction aux outils et méthodes formelles.

• Cours magistraux : 9 heures
• Travaux dirigés : 9 heures
• Travaux pratiques : 9 heures

• Master Informatique :

  • Parcours type : Fiabilité et sécurité informatique (FSI)
  • Parcours type : Ingénierie du logiciel et des données (ILD)
  • Parcours type : Intelligence artificielle et apprentissage automatique (IAAA)
  • Parcours type : Informatique et mathématiques discrètes (IMD)
  • Parcours type : Géométrie et informatique graphique (GIG)