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:
Export BibTeX
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: