Publication details

 

Effective verification of systems with a dynamic number of components

Basic information
Original title:Effective verification of systems with a dynamic number of components
Authors:Pavlína Vařeková, Pavel Moravec, Ivana Černá, Barbora Zimmerová
Further information
Citation: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.Export BibTeX
@inproceedings{726163,
author = {Vařeková, Pavlína and Moravec, Pavel and Černá, Ivana and Zimmerová, Barbora},
address = {New York, NY, USA},
booktitle = {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},
keywords = {Component-based systems; dynamic number of components; finite-state systems; formal verification},
language = {eng},
location = {New York, NY, USA},
isbn = {978-1-59593-721-6},
pages = {3-13},
publisher = {ACM Press},
title = {Effective verification of systems with a dynamic number of components},
url = {http://portal.acm.org/citation.cfm?id=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868},
year = {2007}
}
Original language:English
Field:Informatics
WWW:link to a new windowhttp://portal.acm.org/citation.cfm?id=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
Type:Article in Proceedings
Keywords:Component-based systems; dynamic number of components; finite-state systems; formal verification

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.

Related projects: