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 iki šiol buvo efektyvių ir tikrai ant-the-fly algoritmų jų analizė stoka.
UPPAAL Tiga suteikia patogią grafinę sąsają su jos atitinkamu serverio ir komandinės eilutės vertintoją.
Algoritmas siūlome [CDFLL05] yra simbolinis išplėtimas on-the-fly algoritmas siūlomą Liu & Smolka [LS98] Dėl linijinė laiko ir baigtinių valstybinių sistemų modelio patikrinimui. Būdamas on-the-fly, simbolinis algoritmas gali nutraukti ilgai prieš tai ištirti visą valstybės-vietos.
Taip pat individualūs žingsniai algoritmo yra vykdomas veiksmingai pagal vadinamųjų zonose naudoti kaip pagrindinės duomenų struktūra. Mūsų įrankis įgyvendina įvairius optimizavimo apie pagrindinio simbolinę algoritmą, taip pat metodus gauti laiko optimalus nugalėtojai strategijas (sąskaitų prieinamumo žaidimų).
Kas naujo šioje versijoje:
Komentarai nerastas