开发者 mcmas-sc.sf.net

一种新的模型检查器，称为MCMAS-SC，用于验证社会承诺及其履行情况。它是MCMAS模型检查器的扩展，以支持CTLC逻辑的验证。