द्वारा कार्यक्रम smg.sf.net

उपकरण के एक संक्षिप्त सेट से राज्य मशीन फ्रेमवर्क कोड उत्पन्न करने के लिए इस्तेमाल कियाइनपुट स्रोत कोड फ़ाइल में सीधे एम्बेडेड निर्देश। यह उपकरण ग्राफवाइज ग्राफिकल विवरण और स्पिन/प्रोमेला मॉडलिंग आउटपुट भी उत्पन्न करेगा।