k 2007

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

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK

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

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

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 28. 4. 2011 14:50, doc. RNDr. Vojtěch Řehák, Ph.D.

Anotace

ORIG CZ

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
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1ET408050503, projekt VaV
Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky