State Machine Generator 1.7.5

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes

Sur State Machine Generator

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.