Content
- Boolean satisfiability problem
- Temporal logic
- Model checking
- Testing
- Enseignant responsable de l'UE: Bruno Denis
Modalités:
ECTS:
Type:
Complexité:
Condition d'accès:
M2 AMSS - CSC - Méthodes et outils pour l'élimination des fautes
Opciones de matriculación