開發者 maude-msos-tool.sf.net

Maude MSOS 工具是模組化結構操作語義規範規範的正式環境。 它對於程式設計語言和併發系統的正式規範特別有用。