Ce projet contient les exercices de Vérifications du TD2.

Chaque exercice contient son ou ses fichiers UPPAAL à lancer.

Les explications plus détaillées de chaque exercice sont fournies en commentaire de System Declarations