WordGen est un outil spécialisé dans la génération de mots temporisés à partir d'automates temporisés. Il permet d'échantillonner des trajectoires selon une distribution uniforme, facilitant ainsi l'analyse et la falsification de systèmes cyber-physiques. Utilisé dans la recherche académique, il aide à valider des modèles en simulant des comportements temporels complexes.