Ce projet est un prototype expérimental conçu pour analyser et simuler les interactions entre des modules logiciels et leur environnement. Il permet de vérifier l'équivalence comportementale de deux implémentations, d'explorer les interactions en respectant ou non des contraintes comme le bracketing bien formé, et de générer des arbres de décision ou des produits synchronisés pour étudier les comportements des programmes.