Chương trình theo maude-msos-tool.sf.net

Maude MSOS Tool là một môi trường chính thức cho các đặc điểm kỹ thuật của modular cấu trúc hoạt động ngữ nghĩa thông số kỹ thuật. Nó đặc biệt hữu ích cho các đặc điểm kỹ thuật chính thức của ngôn ngữ lập trình và các hệ thố