2006
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
KUČERA, Antonín a Philippe SCHNOEBELENZákladní údaje
Originální název
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
Název česky
Sémantické porovnávání systémů s jejich konečnými specifikacemi
Autoři
KUČERA, Antonín (203 Česká republika, garant) a Philippe SCHNOEBELEN (250 Francie)
Vydání
Theoretical Computer Science, Amsterdam, Nizozemí, Elsevier, 2006, 0304-3975
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Nizozemské království
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.843
Kód RIV
RIV/00216224:14330/06:00017031
Organizační jednotka
Fakulta informatiky
UT WoS
000239748500009
Klíčová slova anglicky
concurrency; semantic equivalences; infinite-state systems
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 30. 11. 2006 23:48, prof. RNDr. Antonín Kučera, Ph.D.
V originále
We introduce a generic family of behavioral relations for which the regular equivalence problem (i.e., comparing an arbitrary transition system to some finite-state specification) can be reduced to the model checking problem against simple modal formulae. As an application, we derive decidability of several regular equivalence problems for well-known families of infinite-state systems.
Česky
Definujeme obecnou třídu sémantických ekvivalencí pro které je problém ekvivalence s daným konečných systémem redukovatelný na problém ověření jisté formule temporální logiky. Aplikací tohoto obecného výsledku získáme řadu výsledků pro konkrétní třídy nekonečně-stavových systémů.
Návaznosti
| MSM0021622419, záměr |
| ||
| 1M0545, projekt VaV |
|