Effective verification of systems with a dynamic number of components

• 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
• 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