Yaxşı Software üçün Alexandre David
UPPAAL modelləşdirmə, dəyərləndirmə və məlumat növləri ilə uzadıla təyin avtomatlar şəbəkələr, (həmsərhəddir integers, diziler, və s.) Kimi modelləşdirilmişdir real-time sistemlərinin yoxlanılması üçün vahid vasitədir mühit.UPPAAL CORA VHS və Ametist...
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...
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,...