UPPAAL

UPPAAL 4.0.6

UPPAAL е интегрирана среда инструмент за моделиране, утвърждаване и проверка на системите за реално време, моделирани като мрежи от навременна автомати, удължени с типове данни (обградени числа, масиви, и т.н.).UPPAAL CORA е клон на UPPAAL за оптимална...