เครื่องมือที่ใช้ในการสร้างรหัสกรอบงานเครื่องสถานะจากชุด terse ของ คําสั่งที่ฝังอยู่ในแฟ้มโค้ดต้นฉบับที่ป้อนเข้าโดยตรง เครื่องมือนี้ยังจะสร้างคําอธิบายกราฟิก GraphViz และเอาต์พุตการสร้างแบบจําลอง Spin / Promela
ประวัติรุ่น
- เวอร์ชัน win32 โพสต์เมื่อ 2011-03-28
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน SMG v1.7.5 โพสต์เมื่อ 2008-04-03
รายละเอียดหลักสูตร
- ประเภท: พัฒนา > อื่นๆ
- Publisher: smg.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 1.7.5
- แพ ลตฟอร์ม: windows