xmmsctrl este un utilitar mic pentru a controla xmms din linia de comandă. Scopul xmmsctrl este de a fi utilizat împreună cu sh pentru a testa starea xmms și efectuați o acțiune adecvată, de exemplu, dacă joci apoi Pauză altceva.Interesul este de a lega...
UPPAAL TIGA este o extensie a UPPAAL [BDL04] și pune în aplicare prima eficient algoritm on-the-fly pentru rezolvarea jocuri bazate pe automate de joc temporizat cu privire la proprietăți de accesibilitate și de siguranță.Deși jocuri temporizate pentru...
UPPAAL este un mediu instrument integrat pentru modelarea, validare și verificare a sistemelor în timp real modelat ca rețele de automate temporizate, acordate cu tipuri de date (numere întregi delimitate, tablouri, etc.).UPPAAL CORA este o ramură a...