UPPAAL modelleme, doğrulama ve veri türleri ile uzatılabilir zamanlanmış otomata ağlar, (sınırlı tamsayılar, diziler, vb) olarak modellenen gerçek zamanlı sistemlerin doğrulanması için entegre bir araç ortamıdır.UPPAAL CORA VHS ve AMETIST projelerinin bir...
UPPAAL TIGA UPPAAL [BDL04] bir uzantısıdır ve erişilebilirlik ve güvenlik özellikleri açısından zamanlı oyun otomata dayalı oyunlar çözümünde ilk etkili on-the-fly algoritması uygular.Uzun zamanlı oyunlar Karar verilebilen olduğu bilinmektedir rağmen...
xmmsctrl komut satırından xmms'i kontrol küçük bir yardımcı programdır. xmmsctrl hedefi, örneğin xmms devlet sınamak ve uygun bir eylemi gerçekleştirmek için sh ile birleştiğinde kullanılacak oynarken eğer o zaman başka Çalmayı duraklatmak.Bu faiz /...