Effective verification of systems with a dynamic number of components

VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ a Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007, s. 3-13. ISBN 978-1-59593-721-6.

Základní údaje

Originální název

Effective verification of systems with a dynamic number of components

Název česky

Efektivní verifikace systémů s dynamickým počtem komponent

Autoři

VAŘEKOVÁ, Pavlína (203 Česká republika, domácí), Pavel MORAVEC (203 Česká republika, domácí), Ivana ČERNÁ (203 Česká republika, garant, domácí) a Barbora ZIMMEROVÁ (203 Česká republika, domácí)

Vydání

New York, NY, USA, Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, s. 3-13, 2007

Nakladatel

ACM Press

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

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

URL

Kód RIV

RIV/00216224:14330/07:00019481

Organizační jednotka

Fakulta informatiky

ISBN

978-1-59593-721-6

Klíčová slova anglicky

Component-based systems; dynamic number of components; finite-state systems; formal verification

Štítky

Component-based systems, dynamic number of components, finite-state systems, formal verification

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

In the paper, we present a novel approach to verification of dynamic component-based systems, the systems that can have a changing number of components over their life-time.

Česky

V článku prezentujeme nový přístup k verifikaci dynamických komponentových systémů; systémů, které se mohou skládat z měnícího se počtu komponent v průběhu svého života.

---

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
1ET400300504, projekt VaV	Název: Realistická aplikace formálních metod v komponentových systémech Investor: Akademie věd ČR, Realistická aplikace formálních metod v komponentových systémech
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