UPPAAL TIGA kiterjesztése UPPAAL [BDL04], és ez jelenti az elsõ hatékony on-the-fly algoritmust megoldására játékok alapján időzített játék automaták tekintetében elérhetőséget és biztonsági tulajdonságok.
Bár időzített játékok Már régóta ismert, hogy eldönthető ott eddig hiányzott a hatékony és valóban on-the-fly algoritmusok azok elemzését.
UPPAAL TIGA egy felhasználóbarát grafikus felület a hozzá tartozó kiszolgáló, és a parancssor hitelesítő.
Az algoritmus javaslatot [CDFLL05] egy szimbolikus kiterjesztése on-the-fly algoritmus által javasolt Liu & Smolka [LS98] lineáris idejű modell ellenőrzésére is véges állapotú rendszerek. Mivel az on-the-fly, szimbolikus algoritmus felmondhatja sokáig Miután megismertük a teljes állami helyet.
Szintén az egyes lépések az algoritmus hatékony végrehajtásra kerülnek, a használata úgynevezett zónák mint az alapul szolgáló adatszerkezet. Mi eszköz hajtja végre a különböző optimalizáció alapvető szimbolikus algoritmus, valamint a módszerek megszerzésének ideje optimális nyerő stratégiát (elérhetőséghez játékok).
Újdonságok ebben a kiadásban:
Hozzászólás nem található