Projets scientifiques

Il s’agit de : – écrire une fonction de "dépliage" transformant un réseau d'automates synchronisés en un automate équivalent – étudier et améliorer la déclaration et l'utilisation de templates pour en particulier déclarer un ensemble de transitions synchronisées avec un quantificateur – concevoir la syntaxe pour la hiérarchie et les liens père-fils, avec une attention particulière sur les variables et horloges globales/locales – interfacer dans CosyVerif avec cette structure hiérarchique (à plusieurs niveaux) – traduire en réseau d'automates (1 niveau).