UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA UPPAAL [BDL04] uzadılması və bu reachability və təhlükəsizlik xüsusiyyətləri ilə bağlı Müddətli oyun avtomatlar əsasında oyun həlli üçün ilk səmərəli on-the-fly alqoritm həyata keçirir.Uzun müddətli oyun decidable olduğu bilinir baxmayaraq...

Daha ətraflı
xmmsctrl

xmmsctrl 1.9

xmmsctrl command line xmms nəzarət etmək üçün kiçik bir uygulamadır. xmmsctrl məqsədi, məsələn xmms dövlət test və müvafiq hərəkət yerinə yetirmək üçün sh ilə coupled istifadə edilir oynayan, əgər başqa oyun fasilə.Bu maraq / növbəti / pauza, Önceki,...

Daha ətraflı