UPPAAL это интегрированная среда инструмент для моделирования, проверки и верификации систем реального времени смоделированных как сети приурочен автоматов, расширенных с типами данных (ограниченных целых чисел, массивов и т.д.).UPPAAL КОРА является...
UPPAAL ТИГА является продолжением UPPAAL [BDL04] и реализует первый эффективный на лету алгоритм решения игры, основанные на приурочен игру автоматов по отношению к достижимости и безопасности свойств.Хотя приурочен игры давно было известно, что разрешима...
xmmsctrl это небольшая утилита, чтобы контролировать XMMS из командной строки. Целью xmmsctrl является быть использованы в сочетании с SH, чтобы проверить состояние Xmms и выполнять соответствующие действия, например если играть, то пауза еще...