開發者 mcmas-sc.sf.net

一種新的模型檢查器，稱為MCMAS-SC，用於驗證社會承諾及其履行情況。它是MCMAS模型檢查器的擴展，以支援CTLC邏輯的驗證。