Effective verification of systems with a dynamic number of components
| Authors | |
|---|---|
| Year of publication | 2007 |
| Type | Article in Proceedings |
| Conference | 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 |
| MU Faculty or unit | |
| Citation | |
| Web | http://portal.acm.org/citation.cfm?id=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868 |
| Field | Informatics |
| Keywords | Component-based systems; dynamic number of components; finite-state systems; formal verification |
| Description | 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: |
|