Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité

Une méthode de construction d'une machine de Mealy équivalente à un système d'équations récurrentes qui décrit le comportement d'un système logique séquentiel est présentée dans ce papier. Cette construction repose sur la manipulation symbolique d'équations logiques et l'analyse de BDD (Binary Decision Diagram). Ce travail a été motivé par le besoin de prise en compte de spécifications multi-langages, pour la génération de séquences de test de conformité.