UPPAAL

UPPAAL 4.0.6

UPPAAL это интегрированная среда инструмент для моделирования, проверки и верификации систем реального времени смоделированных как сети приурочен автоматов, расширенных с типами данных (ограниченных целых чисел, массивов и т.д.).UPPAAL КОРА является...

UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL ТИГА является продолжением UPPAAL [BDL04] и реализует первый эффективный на лету алгоритм решения игры, основанные на приурочен игру автоматов по отношению к достижимости и безопасности свойств.Хотя приурочен игры давно было известно, что разрешима...

читать далее
xmmsctrl

xmmsctrl 1.9

xmmsctrl это небольшая утилита, чтобы контролировать XMMS из командной строки. Целью xmmsctrl является быть использованы в сочетании с SH, чтобы проверить состояние Xmms и выполнять соответствующие действия, например если играть, то пауза еще...