2007
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEKZákladní údaje
Originální název
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Název česky
Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
Autoři
KŘETÍNSKÝ, Mojmír (203 Česká republika, garant, domácí), Vojtěch ŘEHÁK (203 Česká republika, domácí) a Jan STREJČEK (203 Česká republika, domácí)
Vydání
Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, 2007
Další údaje
Jazyk
angličtina
Typ výsledku
Prezentace na konferencích
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Portugalsko
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/07:00019467
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
process rewrite systems; LTL; infinite-state; model-checking; decidability
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 28. 4. 2011 14:50, doc. RNDr. Vojtěch Řehák, Ph.D.
V originále
The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined.
Česky
Je stanovena hranice rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy.
Návaznosti
MSM0021622419, záměr |
| ||
1ET408050503, projekt VaV |
| ||
1M0545, projekt VaV |
|