开发者 maude-msos-tool.sf.net

Maude MSOS 工具是模块化结构操作语义规范规范的正式环境。 它对于编程语言和并发系统的正式规范特别有用。