UPPAAL to zintegrowane środowisko narzędziem do modelowania, walidacji i weryfikacji systemów czasu rzeczywistego modelowanych jako sieci automatów czasowych, rozbudowane typy danych (tablice ograniczonych liczb całkowitych, etc.).UPPAAL CORA jest oddział...
UPPAAL TIGA jest rozszerzenie UPPAAL [BDL04] i realizuje pierwszy skuteczny algorytm on-the-fly rozwiązywania gry oparte na czasowym gry automatów w odniesieniu do właściwości osiągalności i bezpieczeństwa.Choć czasowe gry na długo były znane być...
xmmsctrl to małe narzędzie do kontroli xmms z wiersza poleceń. Celem xmmsctrl ma być stosowany w połączeniu z sh testować stan Xmms i wykonać odpowiednie działanie, na przykład jeśli jeszcze bawić następnie wstrzymać grę.Zainteresowanie to wiązać klucze w...