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