Effective verification of systems with a dynamic number of components

Warning

This publication doesn't include Faculty of Arts. 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:	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