Программы maude-msos-tool.sf.net

Maude MSOS Tool является формальной средой для спецификации модульных структурных эксплуатационных спецификаций семантики. Это особенно полезно для формальной спецификации языков программирования и параллельных систем.