Program menurut mcmas-c.sf.net
-
MCMAS-C Model Checker Gratis
MCMAS-C adalah ekstensi untuk MCMAS pemeriksa model paling terkenal, yang diimplementasikan untuk memverifikasi sistem multi-agen. Perpanjangan kami terkait dengan memeriksa komitmen sosial yang dapat dibuat agen dan pemenuha