ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes. 2006.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Weakly Extended Process Rewrite Systems
Název česky Slabě rozšířené procesové přepisovací systémy
Autoři ŘEHÁK, Vojtěch (203 Česká republika, garant, domácí).
Vydání MOVEP'06: 7th school on MOdeling and VErifying parallel Processes, 2006.
Další údaje
Originální jazyk angličtina
Typ výsledku Prezentace na konferencích
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Francie
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/06:00015476
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
Štítky decidability, expressivness, infinite-state, process rewrite systems, reachability, state extension
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 28. 4. 2011 08:26.
Anotace
We unify a view on state extensions of Process Rewrite Systems (PRS) and compare their expressive power. In addition, we study decidability and complexity of problems related to model checking and other formal verification procedures such as weak and strong bisimulation, the reachability problem, etc.
Anotace česky
Sjednocujeme pohled na stavově rozšíření procesových přepisovacích systémů a porovnáváme jejich vyjadřovací sílu. Dále studujeme rozhodnutelnost a složitost problémů týkajících se ověřování modelu a jiných procedur formální verifikace jako silné bisimulace, problému dosažitelnosti atd.
Návaznosti
GD102/05/H050, projekt VaVNázev: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Doktorské granty
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: 23. 9. 2020 18:05