Outil utilisé pour générer du code-cadre de machine d’état à partir d’un ensemble laconique de directives intégrées directement dans le fichier de code source d’entrée. Cet outil générera également une description graphique graphviz et une sortie de modélisation Spin/Promela.
historique de la version
- Version win32 posté sur 2011-03-28
Plusieurs correctifs et mises à jour - Version SMG v1.7.5 posté sur 2008-04-03
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: smg.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 1.7.5
- Plate-forme: windows