MCMAS-C Model Checker
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 5.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang MCMAS-C Model Checker
MCMAS-C adalah lanjutan kepada pemeriksa model yang paling terkenal MCMAS, yang dilaksanakan untuk mengesahkan sistem pelbagai ejen. Pelanjutan kami adalah berkaitan dengan memeriksa komitmen sosial yang boleh dicipta oleh ejen dan pemenuhan mereka. Ia adalah pemeriksa model untuk logik CTLC.