Boundaries and Efficiency of Verification

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.

Základní údaje

Originální název

Boundaries and Efficiency of Verification

Autoři

STREJČEK, Jan

Vydání

Nantes (France), Proceedings of summer school MOVEP~2002, s. 403-408, 2002

Nakladatel

IRCCyN, Ecole Centrale de Nantes, France

---

Další údaje

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

---

Anotace

V originále

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 VaV	Ná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ěr	Ná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ů