MCMAS-C Model Checker
Lisans: Ücret -siz Dosya boyutu: N/A
Kullanıcı Derecelendirmesi: 5.0/5 - 1 Oy
Lütfen bekleyin... İndirme bağlantınız kötü amaçlı içerik için doğrulanıyor.
5 saniye içinde indirebilirsiniz.
5 saniye içinde indirebilirsiniz.
Hakkı -nda MCMAS-C Model Checker
MCMAS-C en ünlü model denetleyicisi MCMAS bir uzantısıdır, hangi multi-agent sistemi doğrulamak için uygulanır. Bizim uzantısı ajanlar oluşturabilirsiniz ve bunların yerine getirilmesi sosyal taahhütleri kontrol etmek için ilgilidir. CTLC mantığı için model denetleyicisidir.