UPPAAL yra integruotas įrankis aplinka modeliavimo, patvirtinimo ir tikrinimo realaus laiko sistemų modeliuojama kaip tinklų trukmės automatų išplėstinė su duomenų tipų (apribojimas sveikieji skaičiai, matricos ir tt).UPPAAL CORA yra UPPAAL filialas...
UPPAAL Tiga yra iš UPPAAL [BDL04] pratęsimas ir ji įgyvendina pirmąjį veiksmingą on-the-fly algoritmas sprendžiant žaidimus pagal trukmės žaidimų automatų atžvilgiu prieinamumo ir saugos savybes.Nors datuoti žaidimai seniai buvo žinoma, kad Izlemjams ten...
xmmsctrl yra nedidelė Utility kontroliuoti XMMSa iš komandinės eilutės. xmmsctrl tikslas yra būti naudojamas kartu su sh išbandyti xmms būklę ir atlikti atitinkamų veiksmų, pavyzdžiui, jei groja, tada pristabdyti kita žaidimą.Tai interesas yra įpareigoti...