MCMAS-SC model checker
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 4.0/5 - 1 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về MCMAS-SC model checker
Một người kiểm tra mô hình mới, được gọi là MCMAS-SC, để xác minh các cam kết xã hội và thực hiện chúng. Đây là một phần mở rộng của bộ kiểm tra mô hình MCMAS để hỗ trợ xác minh logic CTLC.