Niveau: Supérieur, Master
Rapport de Stage MASTER RECHERCHE EN INFORMATIQUE Specialite : COSY : des COncepts aux SYstemes Sujet : Verification d'un protocole Stop-And-Wait : Combiner Model-Checking et Preuve de theoremes par : Naim ABER Stage d'initiation a la recherche e?ectue au Laboratoire d'Informtique de Paris Nord au sein de l'equipe Logique, Calcul et Raisonnement, UMR 7030 du CNRS Sous la direction de : M. Kais Klai : Maıtre de conferences a UP13 - LIPN - LCR Mme. Micaela Mayero : Maıtre de conferences a UP13 - LIPN - LCR Annee universitaire 2008-2009
- modele
- modele cpn-ami du protocole swp
- cpn
- protocole
- principes des protocoles de la couche liaison de donnees
- reseau de petri
- formalisation du protocole