UPPAAL це інтегроване середовище інструмент для моделювання, перевірки та верифікації систем реального часу змодельованих як мережі приурочений автоматів, виданих з типами даних (обмежених цілих чисел, масивів і т.д.).UPPAAL Кора філія UPPAAL для...
UPPAAL Тігана є продовженням UPPAAL [BDL04] і реалізує перший ефективний на льоту алгоритм розв'язання гри, засновані на приурочений гру автоматів по відношенню до досяжності і безпеки властивостей.Хоча приурочений гри давно було відомо, що...
xmmsctrl це невелика утиліта для управління XMMS з командного рядка. Метою xmmsctrl є бути використані в поєднанні з SH, щоб перевірити стан Xmms і виконати відповідну дію, наприклад, якщо грати, то пауза ще грати.Інтерес це зв'язати ключі у віконному...