Effective verification of systems with a dynamic number of components

VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ and 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, p. 3-13. ISBN 978-1-59593-721-6.

Basic information

Original name

Effective verification of systems with a dynamic number of components

Name in Czech

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

Authors

VAŘEKOVÁ, Pavlína (203 Czech Republic, belonging to the institution), Pavel MORAVEC (203 Czech Republic, belonging to the institution), Ivana ČERNÁ (203 Czech Republic, guarantor, belonging to the institution) and Barbora ZIMMEROVÁ (203 Czech Republic, belonging to the institution)

Edition

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, p. 3-13, 2007

Publisher

ACM Press

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

United States of America

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

URL

RIV identification code

RIV/00216224:14330/07:00019481

Organization unit

Faculty of Informatics

ISBN

978-1-59593-721-6

Keywords in English

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

Tags

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

Tags

International impact, Reviewed

---

Abstract

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.

In Czech

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.

---

Links

GD102/05/H050, research and development project	Name: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Investor: Czech Science Foundation, Integrated approach to education of PhD students in the area of parallel and distributed systems
MSM0021622419, plan (intention)	Name: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET400300504, research and development project	Name: Realistická aplikace formálních metod v komponentových systémech Investor: Academy of Sciences of the Czech Republic, Realistic application of formal methods in component systems
1ET408050503, research and development project	Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems
1M0545, research and development project	Name: Institut Teoretické Informatiky Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science