Formal verification of systems with an unlimited number of components

VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC and 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, p. p. 532-546, 15 pp. ISSN 1751-8806.

Basic information

Original name

Formal verification of systems with an unlimited number of components

Name in Czech

Automatická verifikace systémů s neomezeným počtem komponent

Authors

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

Edition

IET Software journal, Inst. of Engeneering and Technology, 2008, 1751-8806

---

Other information

Language

English

Type of outcome

Článek v odborném periodiku

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

Impact factor

Impact factor: 0.542

RIV identification code

RIV/00216224:14330/08:00024358

Organization unit

Faculty of Informatics

UT WoS

000262613500005

Keywords in English

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

Tags

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

Tags

International impact, Reviewed

---

Abstract

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.

In Czech

Tento článek se zabývá "control-user" parametrizovanými systémy. Popisuje rozšířenou verzi plně automatického algoritmu pro jejich verifikaci.

---

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
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