L'exigence d'avoir des systemes concurrents fiables impose a tout concepteur (de tels systemes) d'adopter une demarche rigoureuse de la premiere etape de conception jusqu'a sa realisation finale. Les travaux realises dans cet ouvrage concernent essentiellement la modelisation et la simulation des systemes concurrents et repartis. Ainsi ces aspects ont necessite l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associe a savoir le simulateur SPIN. Les applications realisees ont concerne plusieurs aspects etudies durant notre cursus mais de maniere theorique. Les applications ont ete etendues aux systemes repartis et plus particulierement les algorithmes d'election. De plus, un interet a ete porte a l'aspect verification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modelise et valide le protocole KERBEROS lequel est un protocole d'authentification."