Exploration d'espace d'état distribué

From LRDE

Résumé

Dans le domaine du "model checking", les structures de données utilisées pour représenter un programme ne peuvent être stockées en mémoire à cause l'explosion combinatoire. Pour accélérer l'exploration de structures de données aussi grandesnous pouvons utiliser des algorithmes parallèles ou distribuès. Dans ce rapport, nous présenterons une implemention d'un algorithme d'exploration d'espace d'état distribuè proposè par Camille. Nous le comparerons avec un algorithme synchrone et un algorithme asynchrone utilisant des threads pour communiquer sur la même machine."