Lorsqu'on veut étudier la dynamique d'un système de manière méthodique, la première étape est de choisir le formalisme et l'outil qui permettront de modéliser le système, vérifier ses propriétés et/ou le simuler et examinant les traces d'exécution. Ce papier contribue à
répondre à cette question en proposant une grille d'évaluation des outils sur quatre thèmes.
Le comparatif réalisé sur quelques études de cas, ne se veut pas exhaustif mais représentatif des approches pour illustrer la démarche. Il pourra être enrichi collaborativement à la fois sur les outils et les études de cas.