VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC a Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. IET Software journal, Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, s. p. 532-546. ISSN 1751-8806.
Další formáty:   BibTeX LaTeX RIS
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 VAŘEKOVÁ, Pavlína (203 Česká republika, domácí), Barbora ZIMMEROVÁ (203 Česká republika, domácí), Pavel MORAVEC (203 Česká republika) a Ivana ČERNÁ (203 Česká republika, garant, domácí).
Vydání IET Software journal, Inst. of Engeneering and Technology, 2008, 1751-8806.
Další údaje
Originální 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 americké
Utajení není předmětem státního či obchodního tajemství
WWW URL
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 Component-based systems, dynamic number of components, formal verification, infinite-state systems
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:52.
Anotace
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.
Anotace č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 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
1ET400300504, projekt VaVNázev: Realistická aplikace formálních metod v komponentových systémech
Investor: Akademie věd ČR, Informační společnost (Národní program výzkumu)
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)
VytisknoutZobrazeno: 31. 3. 2020 19:39