Программы mcmas-sc.sf.net
-
MCMAS-SC model checker Бесплатный
Новая модель проверки, называется MCMAS-SC, для проверки социальных обязательств и их выполнения. Это extenstion mcMAS модель проверки для поддержки проверки логики CTLC.
Новая модель проверки, называется MCMAS-SC, для проверки социальных обязательств и их выполнения. Это extenstion mcMAS модель проверки для поддержки проверки логики CTLC.