उपकरण के एक संक्षिप्त सेट से राज्य मशीन फ्रेमवर्क कोड उत्पन्न करने के लिए इस्तेमाल किया इनपुट स्रोत कोड फ़ाइल में सीधे एम्बेडेड निर्देश। यह उपकरण ग्राफवाइज ग्राफिकल विवरण और स्पिन/प्रोमेला मॉडलिंग आउटपुट भी उत्पन्न करेगा।
संस्करण इतिहास
- विवरण win32 पर तैनात 2011-03-28
कई सुधार और अपडेट - विवरण SMG v1.7.5 पर तैनात 2008-04-03
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: smg.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1.7.5
- मंच: windows