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
Enrolment options
Guests cannot access this course. Please log in.