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.

PauWare est une bibliothèque logicielle dédiée à la modélisation et à l'exécution de machines à états pour les systèmes informatiques. Elle permet de concevoir, observer et vérifier des comportements logiciels complexes tout en assurant une compatibilité avec les versions précédentes. Développée dans le cadre d'un projet européen, elle facilite la création et le refactoring d'API pour implémenter des machines à états de manière robuste et maintenable.