INF7570 MODÉLISATION ET VÉRIFICATION

• Plan de cours
• Exemples vus en classe
• Références TLA+
  • Leslie Lamport: “A Mathematical View of Computer Systems”
  • Page d'accueil TLA
    • TLA toolbox (téléchargement)
    • Page d'accueil PlusCal
      • Manuel PlusCal
    • TLA hyperbook
    • Page d'accueil du démonstrateur TLA+ (TLAPS)
  • Newcombe, Chris; Rath, Tim; Zhang, Fan; Munteanu, Bogdan; Brooker, Marc; Deardeuff, Michael: How Amazon Web Services Uses Formal Methods, Communications of the ACM, April 2015, volume 58, number 4, 2015, pp. 66-73.
• Sohei Itoa, Takuma Ichinose, Masaya Shimakawab, Naoko Izumic, Shigeki Hagiharab, Naoki Yonezakid Qualitative analysis of gene regulatory networks by temporal logic, Theoretical Computer Science, Volume 594, 23 August 2015, Pages 151–179.
• Anciennes notes de cours :
  • Manuel
  • Exemples du manuel
• Accès aux notes.

Pour tout commentaire, vous adresser à