Programy według maude-msos-tool.sf.net

Maude MSOS Tool to formalne środowisko do specyfikacji modułowych strukturalnych specyfikacji operacyjnych. Jest to szczególnie przydatne w przypadku formalnej specyfikacji języków programowania i systemów równoczesnych.