| Ř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 VaV | Název: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů |
| Investor: Grantová agentura ČR, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů | |
| 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 | |
VytisknoutZobrazeno: 13. 5. 2024 19:05