Troisième année.

L'objectif sera de développer des méthodes d'analyse pour pour les combinaisons les plus générales envisagées :

• Création dynamique de threads et structure de données dynamiques.
• Multi-threading et appels de procédure/méthodes avec paramètres.