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

Warning

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

Authors	ČERNÁ Ivana
Year of publication	2010
MU Faculty or unit	Faculty of Informatics
Citation
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