Content
- Boolean satisfiability problem
- Temporal logic
- Model checking
- Testing
- Enseignant responsable de l'UE: Bruno Denis
M2 AMSS - CSC - Méthodes et outils pour l'élimination des fautes copie 1 copie 1
Inscription manuelle de participants
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.