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

MCMAS-SC model checker 무료

사회적 약정과 이행을 검증하기 위한 MCMAS-SC라는 새로운 모델 검사기. CTLC 논리 검증을 지원하는 MCMAS 모델 검사기의 확장입니다.