Les phases de validation et de vérification (V&V) des systèmes réactifs critiques sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d''aider à la réalisation des activités de V&V est d''une très grande importance. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V...