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  - MORAVEC, Pavel - ČERNÁ, Ivana - ZIMMEROVÁ, Barbora. 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. ISBN 978-1-59593-721-6, pp. 3-13. 3.9.2007, Dubrovnik, Croatia. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://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:
- Integrated approach to education of PhD students in the area of parallel and distributed systems
- Techniques for automatic verification and validation of software nad hardware systems
- Realistic application of formal methods in component systems
- Institute for Theoretical Computer Science
- Highly Parallel and Distributed Computing Systems
