UPPAAL TIGA е разширение на UPPAAL [BDL04] и да го реализира първия ефективен алгоритъм на най-лети за решаване на игри, базирани на навременна игра автомати по отношение на достъпност и безопасност свойства.
Въпреки че са известни във времето игри за дълго, за да бъде decidable има до сега се наблюдава липса на ефикасни и наистина на най-лети алгоритми за техния анализ.
UPPAAL TIGA осигурява лесен за употреба графичен интерфейс с неговия съответен сървър и командния ред проверяващ а.
Алгоритъмът предлагаме [CDFLL05] е символично разширение на алгоритъма на най-лети предложено от Liu & Smolka [LS98] за линеен времеви модел проверка на крайни държавни системи. Да бъдеш на най-лети, символичното алгоритъм може да прекрати дълго, преди да е проучена цялата държава-пространството.
Също така отделните етапи на алгоритъма се извършват ефективно чрез използване на така наречените зони като основната структура на данните. Нашият инструмент изпълнява различни оптимизации на основния символично алгоритъм, както и методи за получаване на работно време оптимална печеливши стратегии (за осигуряване на достъпност игри).
Какво е новото в тази версия:
Коментари не е намерена