Tarafından Programlar smg.sf.net

Bir dizi den durum makine çerçeve kodu oluşturmak için kullanılan araçdoğrudan giriş kaynak kodu dosyasına katıştılmış yönergeler. Bu araç ayrıca GraphViz grafik açıklaması ve Spin/Promela modelleme çıktısı oluşturur.