Programy według mcmas-sc.sf.net
-
MCMAS-SC model checker Wolna
Nowy kontroler modelu, o nazwie MCMAS-SC, do weryfikacji zobowiązań społecznych i ich realizacji. Jest to rozszerzanie kontrolera modelu MCMAS w celu obsługi weryfikacji logiki CTLC.
Nowy kontroler modelu, o nazwie MCMAS-SC, do weryfikacji zobowiązań społecznych i ich realizacji. Jest to rozszerzanie kontrolera modelu MCMAS w celu obsługi weryfikacji logiki CTLC.