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 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
Š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: 16. 7. 2018 14:08

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 16. 7. 2018 14:08, 29. (lichý) 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