Program menurut mcmas-sc.sf.net
-
MCMAS-SC model checker Gratis
Pemeriksa model baru, yang disebut MCMAS-SC, untuk memverifikasi komitmen sosial dan pemenuhannya. Ini adalah ekstensi pemeriksa model MCMAS untuk mendukung verifikasi logika CTLC.
Pemeriksa model baru, yang disebut MCMAS-SC, untuk memverifikasi komitmen sosial dan pemenuhannya. Ini adalah ekstensi pemeriksa model MCMAS untuk mendukung verifikasi logika CTLC.