โปรแกรมตาม smg.sf.net

เครื่องมือที่ใช้ในการสร้างรหัสกรอบงานเครื่องสถานะจากชุด terse ของคําสั่งที่ฝังอยู่ในแฟ้มโค้ดต้นฉบับที่ป้อนเข้าโดยตรง เครื่องมือนี้ยังจะสร้างคําอธิบายกราฟิก GraphViz และเอาต์พุตการสร้างแบบจําลอง Spin / Promela