STREJČEK, Jan. Boundaries and Efficiency of Verification. In Proceedings of summer school MOVEP 2002. Nantes (France): IRCCyN, Ecole Centrale de Nantes, France, 2002, s. 403-408.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Boundaries and Efficiency of Verification
Autoři STREJČEK, Jan (203 Česká republika, garant).
Vydání Nantes (France), Proceedings of summer school MOVEP~2002, s. 403-408, 2002.
Nakladatel IRCCyN, Ecole Centrale de Nantes, France
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 20206 Computer hardware and architecture
Stát vydavatele Francie
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/02:00006434
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky stuttering; constrained rewrite systems
Štítky constrained rewrite systems, stuttering
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
Anotace
Formal verification of concurrent systems is in the center of interest of many researchers for a long time. Here we present directions and some results of our work in this area, namely rewrite systems with constraints and modifications of well known stuttering principle.
Návaznosti
GA201/00/0400, projekt VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 6. 6. 2024 19:47