DJEHAICHIA Brahim2023-05-032023-05-032015https://dspace.univ-annaba.dz//handle/123456789/2672La vérification formelle des systèmes est un besoin important, en particulier lorsqu’il s’agit de systèmes critiques. L’un des problèmes rencontré lors de la vérification de ces systèmes est le problème de l’explosion combinatoire de l’espace d’états. Une solution pour pallier ce problème consiste en calcul distribué de cet espace. Ceci suppose que le calcul s’effectue sur un réseau. Des solutions existent dans la littérature mais qui ne prennent pas en considération la dynamicité du système distribué. Pour cela nous envisageons la proposition d’algorithmes évolutionnaires pour la génération d’espace d’états dans un environnement dynamique. En effet la recherche d’une distribution optimale prenant en compte deux objectifs contradictoires, à savoir l’équilibrage de charge et la réduction des arcs intersites, reste un problème difficile. D’où la nécessité de rechercher des solutions inspirées de la nature.frThesis