Tarafından Programlar maude-msos-tool.sf.net

Maude MSOS Aracı Modüler Yapısal Operasyonel Semantik özellikleri için resmi bir ortamdır. Özellikle programlama dilleri ve eşzamanlı sistemlerin resmi özellikleri için yararlıdır.