[] Modèles Temporels :  Support de Cours  //  Tps 

  [] Model-Checking :  Support de Cours  //  Tps 

  [] Algorithmique Répartie :  Support de Cours  ---- // Sujet Examen 2022 ---- // Sujet Examen 2021

  [] Vérification de Protocoles :  Support de Cours  //  Tps 

  [] Systèmes Concurrents :   Support de Cours : Part I (Petri)   Part II (Uppaal)    TPS : Petri    UPPAAL 

  [] Réseaux de Petri :   Support de Cours  //  Tps (french)  //  Tps (english)  //  Polycopié de Robert Valette 

  [] Autres

• Ecole d'Eté Temps Réel 2015  

  [] OUTILS

• CADP   Construction and Analysis of Distributed Processes
  INRIA Rhone Alpes CONVECS "Construction of Verified Concurrent Systems"
  
• TINA   TIme petri Net Analyzer
  LAAS-CNRS Vertics "VERification des Systèmes Temporisés CritiqueS "
  
• UPPAAL   Uppsala Aalborg
  Department of Information Technology at Uppsala University, Sweden.
  Department of Computer Science at Aalborg University in Denmark.