@InProceedings{VMCZ07,
  author =       "Pavl\'{i}na Va\v{r}ekov\'{a} and Pavel Moravec and Ivana \v{C}ern\'{a} and Barbora Zimmerova",
  title =        "{Effective Verification of Systems with a Dynamic Number of Components}",
  booktitle =    "Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS'07)",
  publisher =    "ACM Press",
  pages =        "3--13",
  year =         "2007",
  month =        "September",
  url =          "http://www.eecs.ucf.edu/~leavens/SAVCBS/2007/SAVCBS07-proceedings.pdf",
  abstract =     "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. Our method is based on determining a number k of dynamic components, such that if a system is proved correct for any number lower than k, it is consequently correct for an arbitrarily large number of dynamic components. The paper aims not only in proving the propositions that state this, it concentrates also on bounding the set of dynamic systems and verifiable properties in a way, that k is relatively small and thus practically interesting. In addition to this, we present an algorithm for computing k."
}