Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

• Authors: ČERNÁ Ivana
• Year of publication: 2010
• MU Faculty or unit: Faculty of Informatics
• Description: Invited lecture at FESCA 2010 workshop (see http://fesca.ipd.kit.edu/fesca2010/)dedicated to the problems of modelling and verification of compoment systems

Related projects

• Highly Parallel and Distributed Computing Systems
• Verification and Analysis of Large-Scale Computer Systems