Next:
Modèles sémantiques adaptés à
Up:
Description-SI
Previous:
B2 - Description du
Programme scientifique
Subsections
Modèles sémantiques adaptés à la vérification
Contrôle dynamique.
Structures de données dynamiques.
Multithreading et données dynamiques.
Méthodes d´analyse et de vérification
Analyse statique.
Vérification symbolique.
Radu Iosif 2003-09-20
