द्वारा कार्यक्रम maude-msos-tool.sf.net

मौड एमएसओएस टूल मॉड्यूलर स्ट्रक्चरल ऑपरेशनल अर्थ्से विनिर्देशों के विनिर्देशों के लिए एक औपचारिक वातावरण है। यह प्रोग्रामिंग भाषाओं और समवर्ती प्रणालियों के औपचारिक विनिर्देश के लिए विशेष रूप से उपयोगी है।