Atur cara mengikut maude-msos-tool.sf.net

Maude MSOS Tool adalah persekitaran formal untuk spesifikasi Semantik Operasi Struktur Modular. Ia amat berguna untuk spesifikasi rasmi bahasa pengaturcaraan dan sistem serensahkan.