開發者 loupe.sf.net

茂物-PubSub 是茂物模型檢查器的一組擴展，可對發佈-訂閱基礎結構進行精確、自動驗證。