Effective verification of systems with a dynamic number of components
|Original title:||Effective verification of systems with a dynamic number of components|
|Authors:||Pavlína Vařeková, Pavel Moravec, Ivana Černá, Barbora Zimmerová|
|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.