用於從一組 直接嵌入在輸入原始程式碼檔中的指令。 此工具還將生成 GraphViz 圖形描述和旋轉/Promela 建模輸出。
版本歷史記錄
- 版本 win32 發佈於 2011-03-28
若干修復和更新 - 版本 SMG v1.7.5 發佈於 2008-04-03
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: smg.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.7.5
- 作業系統: windows
用於從一組 直接嵌入在輸入原始程式碼檔中的指令。 此工具還將生成 GraphViz 圖形描述和旋轉/Promela 建模輸出。