프로그램별 maude-msos-tool.sf.net

Maude MSOS 도구는 모듈식 구조 운영 의미 체계 사양의 사양을 위한 공식적인 환경입니다. 프로그래밍 언어 및 동시 시스템의 공식적인 사양에 특히 유용합니다.