Outil permettant de vérifier si un chemin respecte un automate défini. Il aide à valider des séquences de transitions entre états pour s'assurer qu'un système reste dans un état conforme à sa spécification. Permet également de créer et d'importer des automates personnalisés via des fichiers pour des cas d'usage variés, comme la validation de formats de dates ou d'expressions.