Chương trình theo mcmas-c.sf.net

MCMAS-C là một phần mở rộng cho máy kiểm tra mô hình nổi tiếng nhất MCMAS, được thực hiện để xác minh hệ thống đa tác nhân. Phần mở rộng của chúng tôi có liên quan đến việc kiểm tra các cam kết xã hội mà các đại lý có thể tạo