開發者 smg.sf.net

用於從一組直接嵌入在輸入原始程式碼檔中的指令。 此工具還將生成 GraphViz 圖形描述和旋轉/Promela 建模輸出。