Visitor

Views

Vérification de Protocoles

Exercice 1. Corrigé. Le but est ici à la fois de réfléchir au contenu d'un jeu d'essai à partir d'une spécification, et d'écrire quelques algorithmes simples ...

moved 182034
moved 111613
moved 18751
moved 141534
moved 192416
moved 226864
moved 32293
moved 32299
Travaux Pratiques de Model-checking n Model Checking. Exercice 6 : Prouver par la méthode de model checking vu au cours si l'automate donné en bas satisfait la formule LTL suivant : ? = d(a U b) 
moved 32291
moved 46091
moved 993