프로그램별 mcmas-c.sf.net

MCMAS-C는 다중 에이전트 시스템을 검증하기 위해 구현되는 가장 유명한 모델 검사기 MCMAS의 확장입니다. 우리의 확장은 에이전트가 만들 수있는 사회적 약속과 이행을 확인하는 것과 관련이 있습니다. CTLC 로직의 모델 검사기입니다.