Atur cara mengikut mcmas-c.sf.net
-
MCMAS-C Model Checker Percuma
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 ej