در xmmsctrl ابزار کوچک برای کنترل XMMS از خط فرمان است. هدف xmmsctrl است مورد استفاده قرار گیرد به همراه SH برای تست دولت XMMS و انجام اقدامات مناسب، به عنوان مثال اگر بازی پس از بازی دیگری مکث.به نفع این است که برای اتصال به کلید ها در یک مدیر پنجره به کنترل XMMS با کلید های که بازی / بعدی / مکث، قبلی، صدا کنترل...
در UPPAAL TIGA گسترش UPPAAL [BDL04] است و آن را پیاده سازی اولین کارآمد در پرواز الگوریتم برای حل بازی بر اساس بازی اتوماتیک بهنگام با توجه به قابل دسترسی و ایمنی خواص.هر چند بازی های به پایان رسیده برای مدت طولانی شناخته شده اند به تصمیم گرفتنی است تا به حال عدم الگوریتم های کارآمد و واقعا در پرواز برای تجزیه و تحلیل...
در UPPAAL یک محیط یکپارچه ابزار برای مدل سازی، اعتبار سنجی و تحقیق سیستم های زمان واقعی مدل به عنوان شبکه های اتوماتیک بهنگام، تمدید با انواع داده (اعداد صحیح محدود، آرایه، و غیره) می باشد.UPPAAL کورا شاخه ای از UPPAAL برای هزینه بهینه قابل دسترسی Anslysis توسط تیم UPPAAL به عنوان بخشی از پروژه های VHS و AMETIST توسعه...