開發者 mcmas-c.sf.net

MCMAS-C 是最著名的型號檢查器 MCMAS 的延伸，它用於驗證多代理系統。我們的擴展與檢查代理可以創造的社會承諾及其履行有關。它是 CTLC 邏輯的模型檢查器。