Informační systém Masarykovy univerzity 

On Decidability of LTL+Past Model Checking for Process Rewrite Systems

česky | in English

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.
Další formáty:   BibTeX LaTeX RIS
Zá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
Originální jazyk angličtina
Typ výsledku Prezentace na konferencích
Obor Informatika
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
Štítky decidability, infinite-state, LTL, Model-Checking, process rewrite systems
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 14:50.
Anotace
The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined.
Anotace česky
Je stanovena hranice rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy.
Návaznosti
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1ET408050503, projekt VaVNázev: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Informační společnost (Národní program výzkumu)
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 17. 12. 2017 12:56

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 17. 12. 2017 12:56, 50. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému