开发者 loupe.sf.net

茂物-PubSub 是茂物模型检查器的一组扩展，可对发布-订阅基础结构进行精确、自动验证。