M2 AMSS - CSC - Méthodes et outils pour l'élimination des fautes

Content

  • Boolean satisfiability problem
  • Temporal logic
  • Model checking
  • Testing