Effective verification of systems with a dynamic number of components

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

VAŘEKOVÁ Pavlína MORAVEC Pavel ČERNÁ Ivana ZIMMEROVÁ Barbora

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

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.