UPPAAL 4.0.6
UPPAAL це інтегроване середовище інструмент для моделювання, перевірки та верифікації систем реального часу змодельованих як мережі приурочений автоматів, виданих з типами даних (обмежених цілих чисел, масивів і т.д.).UPPAAL Кора філія UPPAAL для...
