L'exigence d'avoir des syst mes concurrents fiables impose tout concepteur (de tels syst mes) d'adopter une d marche rigoureuse de la premi re tape de conception jusqu' sa r alisation finale. Les travaux r alis s dans cet ouvrage concernent essentiellement la mod lisation et la simulation des syst mes concurrents et r partis. Ainsi ces aspects ont n cessit l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associ savoir le simulateur SPIN. Les applications r alis es ont concern plusieurs aspects tudi s durant notre cursus mais de mani re th orique. Les applications ont t tendues aux syst mes repartis et plus particuli rement les algorithmes d' lection. De plus, un int r t a t port l'aspect v rification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons mod lis et valid le protocole KERBEROS lequel est un protocole d'authentification.