Program menurut maude-msos-tool.sf.net

Maude MSOS Tool adalah lingkungan formal untuk spesifikasi spesifikasi Modular Structural Operational Semantics. Ini sangat berguna untuk spesifikasi formal bahasa pemrograman dan sistem bersamaan.