A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Obecný přístup k sémantickému porovnávání nekonečně-stavových systémů s jejich konečně-stavovými specifikacemi
Autoři

KUČERA Antonín SCHNOEBELEN Philippe

Rok publikování 2004
Druh Článek ve sborníku
Konference Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova verification; semantic equivalences; infinite-state systems
Popis V článku je definována abstraktní sémantická ekvivalence, pro kterou je možné problém ekvivalence s daným konečně-stavovým procesem redukovat na problém ověření platnosti formule jednoduché modální logiky. Aplikací této metody je získána řada nových výsledků o rozhodnutelnosti a složitosti problému ověřování sémantických ekvivalencí mezi nekonečně-stavovými a konečně-stavovými procesy.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.