SYNET
: un outil de synthèse de réseaux de Petri.
TGV
: un outil de génération automatique de séquences de tests de conformité pour les protocoles.
UMLAUT
: the Unified Modeling Language All pUrposes Transformer.
