プログラム maude-msos-tool.sf.net

Maude MSOS ツールはモジュラー構造操作セマンティクス仕様の仕様のための正式な環境です。 プログラミング言語と同時実行システムの正式な仕様に特に役立ちます。