开发者 mcmas-c.sf.net

MCMAS-C 是最著名的型号检查器 MCMAS 的延伸，它用于验证多代理系统。我们的扩展与检查代理可以创造的社会承诺及其履行有关。它是 CTLC 逻辑的模型检查器。