2008
Formal verification of systems with an unlimited number of components
VAŘEKOVÁ, Pavlína; Barbora ZIMMEROVÁ; Pavel MORAVEC a Ivana ČERNÁZákladní údaje
Originální název
Formal verification of systems with an unlimited number of components
Název česky
Automatická verifikace systémů s neomezeným počtem komponent
Autoři
Vydání
IET Software journal, Inst. of Engeneering and Technology, 2008, 1751-8806
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Spojené státy
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Impakt faktor
Impact factor: 0.542
Kód RIV
RIV/00216224:14330/08:00024358
Organizační jednotka
Fakulta informatiky
UT WoS
000262613500005
Klíčová slova anglicky
Component-based systems; dynamic number of components; infinite-state systems; formal verification
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 4. 11. 2012 15:52, doc. Ing. RNDr. Barbora Bühnová, Ph.D.
V originále
In the paper, we focus on control-user parametrised systems. We present an extended version of a fully automatic algorithm which we introduced in our previous paper.
Česky
Tento článek se zabývá "control-user" parametrizovanými systémy. Popisuje rozšířenou verzi plně automatického algoritmu pro jejich verifikaci.
Návaznosti
| GD102/05/H050, projekt VaV |
| ||
| 1ET400300504, projekt VaV |
| ||
| 1ET408050503, projekt VaV |
|